Kripke Completeness of Infinitary Predicate Multimodal Logics

Notre Dame Journal of Formal Logic 40 (3):326-340 (1999)
  Copy   BIBTEX

Abstract

Kripke completeness of some infinitary predicate modal logics is presented. More precisely, we prove that if a normal modal logic above is -persistent and universal, the infinitary and predicate extension of with BF and BF is Kripke complete, where BF and BF denote the formulas pi pi and x x, respectively. The results include the completeness of extensions of standard modal logics such as , and its extensions by the schemata T, B, 4, 5, D, and their combinations. The proof is obtained by extending the correspondence between the representation of modal algebras and the completeness of propositional modal logic to infinite

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

Rasiowa-Sokorski Lemma and Kripke Completeness of Predicate and Infinitary Modal Logics.Yoshihito Tanaka & Hiroakira Ono - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 419-437.
Rasiowa-Sokorski Lemma and Kripke Completeness of Predicate and Infinitary Modal Logics.Yoshihito Tanaka & Hiroakira Ono - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 419-437.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
An Infinitary Graded Modal Logic.Maurizio Fattorosi-Barnaba & Silvano Grassotti - 1995 - Mathematical Logic Quarterly 41 (4):547-563.
Cut-elimination Theorems of Some Infinitary Modal Logics.Yoshihito Tanaka - 2001 - Mathematical Logic Quarterly 47 (3):327-340.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.

Analytics

Added to PP
2010-08-24

Downloads
36 (#431,390)

6 months
11 (#341,089)

Historical graph of downloads
How can I increase my downloads?

References found in this work

A logic stronger than intuitionism.Sabine Görnemann - 1971 - Journal of Symbolic Logic 36 (2):249-261.
The structure of lattices of subframe logics.Frank Wolter - 1997 - Annals of Pure and Applied Logic 86 (1):47-100.
Game logic and its applications I.Mamoru Kaneko & Takashi Nagashima - 1996 - Studia Logica 57 (2-3):325 - 354.

View all 12 references / Add more references