Modal companions of intermediate propositional logics
From MaRDI portal
Publication:1194106
DOI10.1007/BF00370331zbMath0766.03015OpenAlexW2056531162MaRDI QIDQ1194106
Michael Zakharyashchev, Alexander Chagrov
Publication date: 27 September 1992
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00370331
Related Items (25)
A new solution to a problem of Hosoi and Ono ⋮ A generalization of inquisitive semantics ⋮ Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic ⋮ The undecidability of the disjunction property of propositional logics and other related problems ⋮ The structure of lattices of subframe logics ⋮ Self-referentiality of Brouwer-Heyting-Kolmogorov semantics ⋮ The algebraic significance of weak excluded middle laws ⋮ Reflections on Orlov ⋮ Choice-free topological duality for implicative lattices and Heyting algebras ⋮ Willem Blok and modal logic ⋮ Some modal and temporal translations of generalized basic logic ⋮ Lattice logic as a fragment of (2-sorted) residuated modal logic ⋮ Montague's paradox, informal provability, and explicit modal logic ⋮ On an extension of Gabbay's logic ⋮ A semantic hierarchy for intuitionistic logic ⋮ Unnamed Item ⋮ A Note on Strictly Positive Logics and Word Rewriting Systems ⋮ Modal translation of substructural logics ⋮ On logics with coimplication ⋮ Dyck Algebras, Interval Temporal Logic, and Posets of Intervals ⋮ Irreflexive modality in the intuitionistic propositional logic and Novikov completeness ⋮ THE LOGIC OF INFORMATION IN STATE SPACES ⋮ Unnamed Item ⋮ Oskar Becker and the modal translation of intuitionistic logic ⋮ On the Blok-Esakia Theorem
Cites Work
- Linear logic
- Modal tableau calculi and interpolation
- Undecidable properties of extensions of provability logic. II
- Number of prelocally table superintuitionistic propositional logics
- Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
- On superintuitionistic logics as fragments of proof logic extensions
- A propositional logic with explicit fixed points
- The disjunction property of intermediate propositional logics
- Modal translations in substructural logics
- A lattice of normal modal logics
- Pretabular extensions of Lewis S4
- Provability interpretations of modal logic
- Hereditarily finitely axiomatizable extensions of logic S4
- Noncompact extensions of the logic S4
- Continuality of the set of maximal superintuitionistic logics with the disjunction property
- Varieties of logical matrices
- Remarks about axiomatizations of certain modal systems
- On closed elements in closure algebras
- Logics containing K4. Part II
- On systems of modal logic with provability interpretations
- An ascending chain of S4 logics
- The truth about some Post numbers
- Five critical modal systems
- An intuitionistically plausible interpretation of intuitionistic logic
- Arithmetical necessity, provability and intuitionistic logic
- What is strict implication?
- There are infinitely many Diodorean modal functions
- Modal Logics Between S 4 and S 5
- Some relational systems and the associated topological spaces
- The Logics Containing S 4.3
- Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
- Noncompactness in propositional modal logic
- Some theorems about the sentential calculi of Lewis and Heyting
- Extensions of the Lewis system S5
- Eine Darstellung der Intuitionistischen Logik in der Klassischen
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Modal companions of intermediate propositional logics
