Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics
DOI10.1007/978-3-662-48357-2_11zbMath1429.03087OpenAlexW2305055119MaRDI QIDQ5213676
Sakiko Yamasaki, Katsuhiko Sano
Publication date: 4 February 2020
Published in: Logic in Asia: Studia Logica Library (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-48357-2_11
modal logiccompletenesscut eliminationKripke semanticsintermediate logiclabelled sequent calculusstrict implicationGödel-Mckinsey-Tarski embedding
Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Proof analysis in intermediate logics
- Proof analysis in modal logic
- A propositional logic with explicit fixed points
- Speaking about transitive frames in propositional languages
- Subintuitionistic logics
- Sequent calculi for Visser's propositional logics
- A cut-free Gentzen formulation of basic propositional calculus
- Natural deduction based upon strict implication for normal modal logics
- The intensional side of algebraic-topological representation theorems
- The Gödel-Tarski Translations of Intuitionistic Propositional Formulas
- On Extensions of Basic Propositional Logic
- Proof Analysis
- Alternative Semantics for Visser’s Propositional Logics
- Weak Logics with Strict Implication
- Basic Propositional Calculus I
- A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic
- Sequent Calculi for Some Strict Implication Logics
- Some theorems about the sentential calculi of Lewis and Heyting
This page was built for publication: Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics
