An update on “might”

Journal of Logic, Language and Information 6 (4):361-380 (1997)
  Copy   BIBTEX

Abstract

This paper is on the update semantics for might of Veltman. Threeconsequence relations are introduced and studied in an abstract setting.Next we present sequent-style systems for each of the consequence relations.We show the logics to be complete and decidable. The paper ends with asyntactic cut elimination result.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2009-01-28

Downloads
83 (#185,497)

6 months
3 (#445,838)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Frank Veltman
University of Amsterdam

Citations of this work

Dynamics of Epistemic Modality.Malte Willer - 2013 - Philosophical Review 122 (1):45-92.
Updating Data Semantics.Anthony S. Gillies - 2020 - Mind 129 (513):1-41.
Logic Informed.Justin Bledin - 2014 - Mind 123 (490):277-316.
New surprises for the Ramsey Test.Malte Willer - 2010 - Synthese 176 (2):291 - 309.

View all 16 citations / Add more citations

References found in this work

Defaults in update semantics.Frank Veltman - 1996 - Journal of Philosophical Logic 25 (3):221 - 261.
Dynamic predicate logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.

Add more references