On some intuitionistic modal logics

DOI10.2977/prims/1195189604zbMath0373.02026MaRDI QIDQ1244216

Hiroakira Ono

Publication date: 1977

Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2977/prims/1195189604

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B55: Intermediate logics

Related Items

The Semantic Completeness of a Global Intuitionistic Logic, Proof-theoretical investigation of temporal logic with time gaps, Extending possibilistic logic over Gödel logic, The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem, Hypersequent calculi for intuitionistic logic with classical atoms, Constructive modal logics. I, Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics, An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics, Monadic bounded commutative residuated \(\ell\)-monoids, Standard Gödel modal logics, On logics with coimplication, A uniform tableau method for intuitionistic modal logics. I, A proof-theoretical investigation of global intuitionistic (fuzzy) logic, A strong completeness theorem in intuitionistic quantified modal logic, On the interpolation property of some intuitionistic modal logics, Kripke Semantics for Basic Sequent Systems, Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics, A first approach to abstract modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A study of Kripke-type models for some modal logics by Gentzen's sequential method
• A study of intermediate predicate logics
• A modal extension of intuitionist logic
• A logic stronger than intuitionism
• Model existence theorems for modal and intuitionistic logics
• On logics intermediate between intuitionistic and classical predicate logic
• Algebraic semantics for modal logics I
• MIPC as the formalisation of an intuitionist concept of modality
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Some theorems about the sentential calculi of Lewis and Heyting