Constructive embedding from extensions of logics of strict implication into modal logics

DOI10.1007/978-3-662-48357-2_11MaRDI QIDQ5213676zbMATH OpenOpenAlexFDO

Authors S. 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

zbMATH Keywords

completenessintermediate logicmodal logiccut eliminationKripke semanticslabelled sequent calculusstrict implicationGödel-Mckinsey-Tarski embedding

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• The embedding theorem: its further developments and consequences. I
• Embedding constructive K into intuitionistic K
• A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding
• Lyndon's interpolation property for the logic of strict implication
• Proof analysis in intermediate logics

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 30929 (Why is no real title available?)
• scientific article; zbMATH DE number 192927 (Why is no real title available?)
• scientific article; zbMATH DE number 2015295 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 3009953 (Why is no real title available?)
• scientific article; zbMATH DE number 757639 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic
• A cut-free Gentzen formulation of basic propositional calculus
• A propositional logic with explicit fixed points
• Alternative semantics for Visser's propositional logics
• Basic Propositional Calculus I
• Natural deduction based upon strict implication for normal modal logics
• On extensions of basic propositional logic
• Proof Analysis
• Proof analysis in intermediate logics
• Proof analysis in modal logic
• Proof analysis in non-classical logics
• Sequent Calculi for Some Strict Implication Logics
• Sequent calculi for Visser's propositional logics
• Some theorems about the sentential calculi of Lewis and Heyting
• Speaking about transitive frames in propositional languages
• Structural proof theory. With an appendix by Aarne Ranta
• Subintuitionistic logics
• The Gödel-Tarski translations of intuitionistic propositional formulas
• The intensional side of algebraic-topological representation theorems
• Weak Logics with Strict Implication

Cited in

(8)

• A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding
• Corrections and additions to my paper ``A note on unprovability-preserving sound translations, more general constructions
• scientific article; zbMATH DE number 5295715 (Why is no real title available?)
• Two remarks on strictly implicative formulas in modal logic S3
• Lyndon's interpolation property for the logic of strict implication
• scientific article; zbMATH DE number 3871346 (Why is no real title available?)
• scientific article; zbMATH DE number 3957053 (Why is no real title available?)
• Embedding constructive K into intuitionistic K

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Constructive embedding from extensions of logics of strict implication into modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213676)