On some intuitionistic modal logics

DOI10.2977/prims/1195189604zbMath0373.02026OpenAlexW2031349440MaRDI 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

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items

TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS, Construction of a monadic Heyting algebra in a logos, Undecidability of QLTL and QCTL with two variables and one monadic predicate letter, Intuitionistic common knowledge or belief, On the interpolation property of some intuitionistic modal logics, One-variable fragments of intermediate logics over linear frames, Non-normal modal logics and conditional logics: semantic analysis and proof theory, Hennessy-Milner properties via topological compactness, Negative Modalities in the Light of Paraconsistency, Extending possibilistic logic over Gödel logic, Subordinations on bounded distributive lattices, Order-dual relational semantics for non-distributive propositional logics: a general framework, The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem, Hypersequent calculi for intuitionistic logic with classical atoms, An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics, Expressing discrete spatial relations under granularity, Monadic bounded commutative residuated \(\ell\)-monoids, Kripke Semantics for Basic Sequent Systems, Proof-theoretical investigation of temporal logic with time gaps, Standard Gödel modal logics, The Semantic Completeness of a Global Intuitionistic Logic, A proof-theoretical investigation of global intuitionistic (fuzzy) logic, Semantical Approach to Cut Elimination and Subformula Property in Modal Logic, Constructive modal logics. I, Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics, On logics with coimplication, A first approach to abstract modal logics, A proof-theoretic approach to negative translations in intuitionistic tense logics, A strong completeness theorem in intuitionistic quantified modal logic, Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics, On the Blok-Esakia Theorem, A uniform tableau method for intuitionistic modal logics. I, MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS

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