Indicative Conditionals and Dynamic Epistemic Logic
نویسندگان
چکیده
منابع مشابه
Indicative Conditionals and Dynamic Epistemic Logic
Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic. The purpose of this paper is to show how greater interaction between formal semantics and dynamic epistemic logic in this area can be of mutual benefit. In one direction, we show how concepts and tools from modal logic and dynamic ep...
متن کاملOn Indicative Conditionals
In this paper we present a new approach to evaluate indicative conditionals with respect to some background information specified by a logic program. Because the weak completion of a logic program admits a least model under the three-valued Lukasiewicz semantics and this semantics has been successfully applied to other human reasoning tasks, conditionals are evaluated under these least L-models...
متن کاملContext - sensitivity and ( indicative ) conditionals
Conditionals (in particular indicatives) give rise to stand-offs that have become well known from Gibbard’s initial Sly Pete example. The stand-offs can be seen as evidence for the context-sensitivity of (indicative) conditionals and arguably do not involve disagreement. I claim that the latter feature lends credibility to an indexical treatment of indicatives. 1. Conditionals in stand-off envi...
متن کاملDynamic Epistemic Temporal Logic
We propose Dynamic Epistemic Temporal Logic, a dynamic-protocol framework that overcomes the Problem of Synchronicity in the popular Dynamic Epistemic Logic approach to reasoning about multi-agent belief change. Dynamic Epistemic Temporal Logic not only extends the domain of applicability of standard Dynamic Epistemic Logic, but it also clarifies how certain structural properties (such as synch...
متن کاملProbabilistic Dynamic Epistemic Logic
In this paper I combine the dynamic epistemic logic of Gerbrandy (1999) with the probabilistic logic of Fagin and Halpern (1994). The result is a new probabilistic dynamic epistemic logic, a logic for reasoning about probability, information, and information change that takes higher order information into account. Probabilistic epistemic models are defined, and a way to build them for applicati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2017
ISSN: 2075-2180
DOI: 10.4204/eptcs.251.24