Generalized update semantics


Research output: Journal PublicationsJournal Article (refereed)peer-review


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 languageEnglish
Article numberfzy076
Pages (from-to)795-835
Number of pages41
Issue number511
Early online date8 Feb 2019
Publication statusPublished - Jul 2019

Fingerprint Dive into the research topics of 'Generalized update semantics'. Together they form a unique fingerprint.

Cite this