An Update on "Might'"

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


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.



    Upload a copy of this work     Papers currently archived: 77,805

External links

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

Through your library


Added to PP

23 (#507,975)

6 months
4 (#199,934)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Frank Veltman
University of Amsterdam

References found in this work

No references found.

Add more references