A semantical analysis of cut-free calculi for modal logics

DOI10.4467/20842589RM.18.003.8836OpenAlexW3004166243MaRDI QIDQ4627724FDOQ4627724

Authors: Mitio Takano 

Publication date: 11 March 2019

Published in: Reports on Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4467/20842589rm.18.003.8836

Recommendations

• Cut-free modal sequents for normal modal logics
• Proof analysis in modal logic
• Modal sequents for normal modal logics
• Deep sequent systems for modal logic
• Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D

zbMATH Keywords

sequent calculuscut-eliminationfinite model propertysubformula propertyKripke completeness

Mathematics Subject Classification ID

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

Cited In (19)

• A Modified Subformula Property for the Modal Logic S4.2
• A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
• Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}
• A systematic proof theory for several modal logics
• Cut-free modal sequents for normal modal logics
• Admissibility of cut in congruent modal logics
• Semantical Proof of Subformula Property for the Modal Logics K 4.3, KD 4.3, and S4.3
• Is cut-free logic fit for unrestricted abstraction?
• A modified subformula property for the modal logic KG1
• Title not available (Why is that?)
• A modified subformula property for the modal logic KC4
• A cut-free sequent system for two-dimensional modal logic, and why it matters
• New Modification of the Subformula Property for a Modal Logic
• Cut-elimination theorems for some infinitary modal logics
• Cut elimination for shallow modal logics
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Effective finite-valued semantics for labelled calculi
• Cut-free systems for three-valued modal logics
• Subformula property for some modal logics

This page was built for publication: A semantical analysis of cut-free calculi for modal logics

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