Generalized update semantics

Simon David GOLDSTEIN

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

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

Fingerprint

Dynamic Semantics
Truth-conditional Semantics
Modal Logic
Kripke Semantics
Inconsistency
Epistemic Modals

Cite this

GOLDSTEIN, S. D. (2019). Generalized update semantics. Mind, 128(511), 795-835. [fzy076]. https://doi.org/10.1093/mind/fzy076
GOLDSTEIN, Simon David. / Generalized update semantics. In: Mind. 2019 ; Vol. 128, No. 511. pp. 795-835.
@article{62e27615325a424da3e7148a63bfb893,
title = "Generalized update semantics",
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.",
author = "GOLDSTEIN, {Simon David}",
year = "2019",
month = "7",
doi = "10.1093/mind/fzy076",
language = "English",
volume = "128",
pages = "795--835",
journal = "Mind",
issn = "0026-4423",
publisher = "Oxford University Press",
number = "511",

}

GOLDSTEIN, SD 2019, 'Generalized update semantics', Mind, vol. 128, no. 511, fzy076, pp. 795-835. https://doi.org/10.1093/mind/fzy076

Generalized update semantics. / GOLDSTEIN, Simon David.

In: Mind, Vol. 128, No. 511, fzy076, 07.2019, p. 795-835.

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

TY - JOUR

T1 - Generalized update semantics

AU - GOLDSTEIN, Simon David

PY - 2019/7

Y1 - 2019/7

N2 - 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.

AB - 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.

U2 - 10.1093/mind/fzy076

DO - 10.1093/mind/fzy076

M3 - Journal Article (refereed)

VL - 128

SP - 795

EP - 835

JO - Mind

JF - Mind

SN - 0026-4423

IS - 511

M1 - fzy076

ER -

GOLDSTEIN SD. Generalized update semantics. Mind. 2019 Jul;128(511):795-835. fzy076. https://doi.org/10.1093/mind/fzy076