Switch to: References

Add citations

You must login to add citations.
  1. Agreement Theorems in Dynamic-Epistemic Logic.Cédric Dégremont & Oliver Roy - 2012 - Journal of Philosophical Logic 41 (4):735-764.
    This paper introduces Agreement Theorems to dynamic-epistemic logic. We show first that common belief of posteriors is sufficient for agreement in epistemic-plausibility models, under common and well-founded priors. We do not restrict ourselves to the finite case, showing that in countable structures the results hold if and only if the underlying plausibility ordering is well-founded. We then show that neither well-foundedness nor common priors are expressible in the language commonly used to describe and reason about epistemic-plausibility models. The static agreement (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  • Contemporary Epistemic Logic and the Lockean Thesis.Lorenz Demey - 2013 - Foundations of Science 18 (4):599-610.
    This paper studies the Lockean thesis from the perspective of contemporary epistemic logic. The Lockean thesis states that belief can be defined as ‘sufficiently high degree of belief’. Its main problem is that it gives rise to a notion of belief which is not closed under conjunction. This problem is typical for classical epistemic logic: it is single-agent and static. I argue that from the perspective of contemporary epistemic logic, the Lockean thesis fares much better. I briefly mention that it (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  • Agreeing to disagree in probabilistic dynamic epistemic logic.Lorenz Demey - 2014 - Synthese 191 (3):409-438.
    This paper studies Aumann’s agreeing to disagree theorem from the perspective of dynamic epistemic logic. This was first done by Dégremont and Roy (J Phil Log 41:735–764, 2012) in the qualitative framework of plausibility models. The current paper uses a probabilistic framework, and thus stays closer to Aumann’s original formulation. The paper first introduces enriched probabilistic Kripke frames and models, and various ways of updating them. This framework is then used to prove several agreement theorems, which are natural formalizations of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Agreement theorems for self-locating belief.Michael Caie - 2016 - Review of Symbolic Logic 9 (2):380-407.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.
    This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, (...)
    $163.12 new    View on Amazon.com
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer International Publishing. pp. 289-337.
    This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...)
    No categories
    $163.12 new   (collection)    View on Amazon.com
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations