Generalized update semantics

Simon David GOLDSTEIN*

*Corresponding author for this work

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

10 Citations (Scopus)


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


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

Cite this