Abstract
This paper explores the relationship between dynamic and truth conditional semantics for epistemic modals. It provides a generalization of a standard dynamic update semantics for modals. This new semantics derives a Kripke semantics for modals and a standard dynamic semantics for modals as special cases. The semantics allows for new characterizations of a variety of principles in modal logic, including the inconsistency of ‘p and might not p’. Finally, the semantics provides a construction procedure for transforming any truth conditional semantics for modals into a dynamic semantics for modals with similar properties.
Original language | English |
---|---|
Article number | fzy076 |
Pages (from-to) | 795-835 |
Number of pages | 41 |
Journal | Mind |
Volume | 128 |
Issue number | 511 |
Early online date | 8 Feb 2019 |
DOIs | |
Publication status | Published - Jul 2019 |