Maximal Kripke-type semantics for modal and superintuitionistic predicate logics

Annals of Pure and Applied Logic 63 (1):69-101 (1993)
  Copy   BIBTEX

Abstract

Recent studies in semantics of modal and superintuitionistic predicate logics provided many examples of incompleteness, especially for Kripke semantics. So there is a problem: to find an appropriate possible- world semantics which is equivalent to Kripke semantics at the propositional level and which is strong enough to prove general completeness results. The present paper introduces a new semantics of Kripke metaframes' generalizing some earlier notions. The main innovation is in considering "n"-tuples of individuals as abstract "n"-dimensional vectors', together with some transformations of these vectors. Soundness of the semantics is proved to be equivalent to some non- logical properties of metaframes; and thus we describe the maximal semantics of Kripke- type

Links

PhilArchive



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

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
2013-11-02

Downloads
30 (#456,882)

6 months
2 (#658,848)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Valentin Shehtman
Moscow State University

References found in this work

Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1986 - Journal of Symbolic Logic 51 (3):824-824.
Logics containing k4. part I.Kit Fine - 1974 - Journal of Symbolic Logic 39 (1):31-42.
Logics containing k4. part II.Kit Fine - 1985 - Journal of Symbolic Logic 50 (3):619-651.
Topology and duality in modal logic.Giovanni Sambin & Virginia Vaccaro - 1988 - Annals of Pure and Applied Logic 37 (3):249-296.
Incompleteness results in Kripke semantics.Silvio Ghilardi - 1991 - Journal of Symbolic Logic 56 (2):517-538.

View all 9 references / Add more references