论文信息 - Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics

Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics

Shehtman and Skvortsov introduced Kripke bundles as semantics of non-classical first-order predicate logics. We show the structural equivalence between Kripke bundles for intermediate predicate logics and Kripke-type frames for intuitionistic modal prepositional logics. This equivalence enables us to develop the semantical study of relations between intermediate predicate logics and intuitionistic modal propositional logics. New examples of modal counterparts of intermediate predicate logics are given.

Nobu-Yuki Suzuki

[1] Shin'ichi Yokota. Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I , 1989, Math. Log. Q..

[2] H. Ono. On Some Intuitionistic Modal Logics , 1977 .

[3] Nobu-Yuki Suzuki. An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics , 1989, Stud Logica.

[4] R. A. Bull. MIPC as the Formalisation of an Intuitionist Concept of Modality , 1966, J. Symb. Log..

[5] Hiroakira Ono. On finite linear intermediate predicate logics , 1988, Stud Logica.

[6] Valentin B. Shehtman,et al. Semantics of Non-Classical First Order Predicate Logics , 1990 .

[7] M. Wajsberg,et al. Ein erweiterter Klassenkalkül , 1933 .