1. Generalized Update Semantics.
- Author
-
Goldstein, Simon
- Subjects
- *
KRIPKE semantics , *SEMANTICS , *EPISTEMIC logic , *MODAL logic , *INCONSISTENCY (Logic) - 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. [ABSTRACT FROM AUTHOR]
- Published
- 2019
- Full Text
- View/download PDF