Sequent-systems for modal logic

DOI10.2307/2273797MaRDI QIDQ5187258zbMATH OpenOpenAlexFDO

Authors Kosta Došen

Publication date 1985

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273797

zbMATH Keywords

Gentzen-style formulations of S5 and S4logical constantssequents of higher levels

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Proof theory and constructive mathematics (03F99)

Recommendations

• scientific article; zbMATH DE number 3939326
• Correspondence between modal Hilbert axioms and sequent rules with an application to S5
• Modular sequent systems for modal logic
• Modal Tree‐Sequents
• scientific article; zbMATH DE number 970622

Cited in

(37)

• Sequent-systems and groupoid models. I
• A perspective on modal sequent logic
• Modal translations in substructural logics
• Modal logic as metalogic
• A proof-theoretic investigation of a logic of positions
• A modal logic for discretely descending chains of sets
• A survey of nonstandard sequent calculi
• Modular sequent calculi for classical modal logics
• Nested sequents for intuitionistic logics
• Logicality, double-line rules, and modalities
• Correspondence between modal Hilbert axioms and sequent rules with an application to S5
• Sequent Calculi for Multi-modal Logic with Interaction
• Valentini's cut-elimination for provability logic resolved
• Sequent Systems for Lewis’ Conditional Logics
• Kripke Semantics for Basic Sequent Systems
• European Summer Meeting of the Association for Symbolic Logic, Hull, 1986
• scientific article; zbMATH DE number 3859092 (Why is no real title available?)
• scientific article; zbMATH DE number 4210105 (Why is no real title available?)
• A cut-free simple sequent calculus for modal logic S5
• scientific article; zbMATH DE number 3939326 (Why is no real title available?)
• scientific article; zbMATH DE number 3979042 (Why is no real title available?)
• A first approach to abstract modal logics
• scientific article; zbMATH DE number 1163926 (Why is no real title available?)
• Sequent systems for compact bilinear logic
• scientific article; zbMATH DE number 2024634 (Why is no real title available?)
• scientific article; zbMATH DE number 2051680 (Why is no real title available?)
• scientific article; zbMATH DE number 2072494 (Why is no real title available?)
• LINEAR TIME IN HYPERSEQUENT FRAMEWORK
• scientific article; zbMATH DE number 5263148 (Why is no real title available?)
• A novel approach to equality
• Geometric modal logic
• The logicality of equality
• Bilateral inversion principles
• Molecularity in the theory of meaning and the topic neutrality of logic
• Simple sequent systems for the modal logics K, D, T, and S4
• A hypersequent solution to the inferentialist problem of modality
• Simple consequence relations

This page was built for publication: Sequent-systems for modal logic

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