Switch to: Citations

Add references

You must login to add references.
  1. Dynamic Logic.David Harel, Dexter Kozen & Jerzy Tiuryn - 2000 - MIT Press.
    This book provides the first comprehensive introduction to Dynamic Logic. Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical (...)
    Download  
     
    Export citation  
     
    Bookmark   127 citations  
  • Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
    Download  
     
    Export citation  
     
    Bookmark   721 citations  
  • The Logic of Decision.Richard C. Jeffrey - 1965 - New York, NY, USA: University of Chicago Press.
    "[This book] proposes new foundations for the Bayesian principle of rational action, and goes on to develop a new logic of desirability and probabtility."—Frederic Schick, _Journal of Philosophy_.
    Download  
     
    Export citation  
     
    Bookmark   770 citations  
  • Defaults in update semantics.Frank Veltman - 1996 - Journal of Philosophical Logic 25 (3):221 - 261.
    The aim of this paper is twofold: (i) to introduce the framework of update semantics and to explain what kind of semantic phenomena may successfully be analysed in it: (ii) to give a detailed analysis of one such phenomenon: default reasoning.
    Download  
     
    Export citation  
     
    Bookmark   353 citations  
  • A Problem in Probability (Letter to the Editor).Steve Selvin - 1975 - The American Statistician 29 (1):67.
    A version of the Monty Hall Problem is presented and the "switch" solution is defended using a method of enumeration rather than Bayes Theorem.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Studia Logica 16:119-122.
    Download  
     
    Export citation  
     
    Bookmark   698 citations  
  • (4 other versions)Naming and Necessity.Saul Kripke - 1980 - Philosophy 56 (217):431-433.
    Download  
     
    Export citation  
     
    Bookmark   1788 citations  
  • Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.
    Multi-modal versions of propositional logics S5 or S4—commonly accepted as logics of knowledge—are capable of describing static states of knowledge but they do not reflect how the knowledge changes after communications among agents. In the present paper (part of broader research on logics of knowledge and communications) we define extensions of the logic S5 which can deal with public communications. The logics have natural semantics. We prove some completeness, decidability and interpretability results and formulate a general method that solves certain (...)
    Download  
     
    Export citation  
     
    Bookmark   186 citations  
  • Philosophical Theories of Probability.Donald Gillies - 2000 - New York: Routledge.
    The Twentieth Century has seen a dramatic rise in the use of probability and statistics in almost all fields of research. This has stimulated many new philosophical ideas on probability. _Philosophical Theories of Probability_ is the first book to present a clear, comprehensive and systematic account of these various theories and to explain how they relate to one another. Gillies also offers a distinctive version of the propensity theory of probability, and the intersubjective interpretation, which develops the subjective theory.
    Download  
     
    Export citation  
     
    Bookmark   186 citations  
  • Quality and quantity of information exchange.Robert van Rooy - 2003 - Journal of Logic, Language and Information 12 (4):423-451.
    The paper deals with credible and relevantinformation flow in dialogs: How useful is it for areceiver to get some information, how useful is it fora sender to give this information, and how much credibleinformation can we expect to flow between sender andreceiver? What is the relation between semantics andpragmatics? These Gricean questions will be addressedfrom a decision and game-theoretical point of view.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • (4 other versions)Naming and Necessity.S. Kripke - 1972 - Tijdschrift Voor Filosofie 45 (4):665-666.
    Download  
     
    Export citation  
     
    Bookmark   2750 citations  
  • Upper and Lower Probabilities induced by a Multi- valued Mapping.Arthur Dempster - 1967 - Annals of Mathematical Statistics 38:325-339.
    Download  
     
    Export citation  
     
    Bookmark   101 citations  
  • Reasoning about information change.Jelle Gerbrandy & Willem Groeneveld - 1997 - Journal of Logic, Language and Information 6 (2):147-169.
    In this paper we introduce Dynamic Epistemic Logic, which is alogic for reasoning about information change in a multi-agent system. Theinformation structures we use are based on non-well-founded sets, and canbe conceived as bisimulation classes of Kripke models. On these structures,we define a notion of information change that is inspired by UpdateSemantics (Veltman, 1996). We give a sound and complete axiomatization ofthe resulting logic, and we discuss applications to the puzzle of the dirtychildren, and to knowledge programs.
    Download  
     
    Export citation  
     
    Bookmark   104 citations  
  • The Analytics of Uncertainty and Information.Jack Hirshleifer & John G. Riley - 2012 - Cambridge University Press.
    Economists have always recognised that human endeavours are constrained by our limited and uncertain knowledge, but only recently has an accepted theory of uncertainty and information evolved. This theory has turned out to have surprisingly practical applications: for example in analysing stock market returns, in evaluating accident prevention measures, and in assessing patent and copyright laws. This book presents these intellectual advances in readable form for the first time. It unifies many important but partial results into a satisfying single picture, (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • 'One is a Lonely Number': on the logic of communication.Johan van Benthem - unknown
    Logic is not just about single-agent notions like reasoning, or zero-agent notions like truth, but also about communication between two or more people. What we tell and ask each other can be just as 'logical' as what we infer in Olympic solitude. We show how such interactive phenomena can be studied systematically by merging epistemic and dynamic logic.
    Download  
     
    Export citation  
     
    Bookmark   62 citations