Modal companions of intermediate propositional logics
type: Item
instance of: scholarly article
title: Modal companions of intermediate propositional logics
zbMATH Open document ID: 0766.03015
DOI: 10.1007/BF00370331
author: Alexander Vasil'evich Chagrov
author: Michael Zakharyaschev
published in: Studia Logica
publication date: 1992-09-27T00:00:00Z
review text: This paper is a survey of results concerning embeddings of intuitionistic propositional logic and its extensions to various classical modal systems.
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 63833
zbMATH Keywords: intermediate propositional logics
zbMATH Keywords: modal logics
zbMATH Keywords: survey
zbMATH Keywords: embeddings
zbMATH Keywords: intuitionistic propositional logic
MaRDI profile type: Publication
cites work: Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
cites work: On systems of modal logic with provability interpretations
cites work: Q4723713
cites work: Varieties of logical matrices
cites work: Undecidable properties of extensions of provability logic. II
cites work: Continuality of the set of maximal superintuitionistic logics with the disjunction property
cites work: Q3475247
cites work: The disjunction property of intermediate propositional logics
cites work: Q4694248
cites work: Modal translations in substructural logics
cites work: Modal Logics Between S 4 and S 5
cites work: Q4049062
cites work: Five critical modal systems
cites work: The Logics Containing S 4.3
cites work: An ascending chain of S4 logics
cites work: Logics containing K4. Part II
cites work: Linear logic
cites work: Q4754492
cites work: Q4128788
cites work: Arithmetical necessity, provability and intuitionistic logic
cites work: Some relational systems and the associated topological spaces
cites work: What is strict implication?
cites work: Q5582306
cites work: Q5546768
cites work: On superintuitionistic logics as fragments of proof logic extensions
cites work: Eine Darstellung der Intuitionistischen Logik in der Klassischen
cites work: There are infinitely many Diodorean modal functions
cites work: Pretabular extensions of Lewis S4
cites work: Q3875897
cites work: Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
cites work: A lattice of normal modal logics
cites work: Number of prelocally table superintuitionistic propositional logics
cites work: On closed elements in closure algebras
cites work: Some theorems about the sentential calculi of Lewis and Heyting
cites work: Q4173344
cites work: Q5581592
cites work: Q5734410
cites work: Modal tableau calculi and interpolation
cites work: Hereditarily finitely axiomatizable extensions of logic S4
cites work: Noncompact extensions of the logic S4
cites work: Extensions of the Lewis system S5
cites work: Q4068699
cites work: The truth about some Post numbers
cites work: Q3495340
cites work: Q4198476
cites work: Q3206929
cites work: Q3902989
cites work: Remarks about axiomatizations of certain modal systems
cites work: Provability interpretations of modal logic
cites work: An intuitionistically plausible interpretation of intuitionistic logic
cites work: Noncompactness in propositional modal logic
cites work: A propositional logic with explicit fixed points
cites work: Q3340837
cites work: Q3726083
cites work: Q3783273
cites work: Q4204132
cites work: Q4204133
full work available at URL: https://doi.org/10.1007/bf00370331
OpenAlex ID: W2056531162
Recommended article: Q3026978
Recommended article: Q3472079

Modal companions of intermediate propositional logics (Recommended article)
Recommended article: On modal renderings of intuitionistic propositional logic
Similarity Score: 0.9149215
Recommender Run: Recommender Run 3

Modal companions of intermediate propositional logics (Recommended article)
Recommended article: Q3475247
Similarity Score: 0.91489625
Recommender Run: Recommender Run 3

Modal companions of intermediate propositional logics (Recommended article)
Recommended article: Binary modal companions for subintuitionistic logics
Similarity Score: 0.91381824
Recommender Run: Recommender Run 3

Modal companions of intermediate propositional logics (Recommended article)
Recommended article: Q3346288
Similarity Score: 0.91102636
Recommender Run: Recommender Run 3

Modal companions of intermediate propositional logics (Recommended article)
Recommended article: Q4726226
Similarity Score: 0.9106269
Recommender Run: Recommender Run 3

Modal companions of intermediate propositional logics (Recommended article)
Recommended article: Prefinitely axiomatizable modal and intermediate logics
Similarity Score: 0.9100548
Recommender Run: Recommender Run 3

Modal companions of intermediate propositional logics (Recommended article)
Recommended article: Modal bilattice logic and its extensions
Similarity Score: 0.9087399
Recommender Run: Recommender Run 3

Modal companions of intermediate propositional logics (Recommended article)
Recommended article: On the Independent Axiomatizability of Modal and Intermediate Logics
Similarity Score: 0.90783477
Recommender Run: Recommender Run 3