On the proof theory of infinitary modal logic

DOI10.1007/S11225-022-09998-XOpenAlexW4281696559WikidataQ113900495 ScholiaQ113900495MaRDI QIDQ2106873FDOQ2106873

Authors Matteo Tesi 

Publication date 29 November 2022

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-022-09998-x

zbMATH Keywords

proof theorycommon knowledgemodal logicinfinitary logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Some remarks on the proof-theory and the semantics of infinitary modal logic
• On the proof theory of the modal mu-calculus
• Cut-elimination theorems for some infinitary modal logics
• An infinitary treatment of full \(\mu\)-calculus
• An Infinitary Graded Modal Logic (Graded Modalities VI)

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3131074 (Why is no real title available?)
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• scientific article; zbMATH DE number 2068679 (Why is no real title available?)
• scientific article; zbMATH DE number 1749009 (Why is no real title available?)
• scientific article; zbMATH DE number 932649 (Why is no real title available?)
• scientific article; zbMATH DE number 3327279 (Why is no real title available?)
• An Intuitionistic Axiomatisation of Real Closed Fields
• Constructions, proofs and the meaning of logical constants
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Cut-elimination theorems for some infinitary modal logics
• Deep sequent systems for modal logic
• Duality for \(\kappa\)-additive complete atomic modal algebras
• First-order modal logic
• Geometric Rules in Infinitary Logic
• Infinitary propositional normal modal logic
• Knowledge and common knowledge in a distributed environment
• Kripke completeness of infinitary predicate multimodal logics
• Modal logic
• Neighborhood semantics for modal logic
• Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic
• Proof analysis in modal logic
• Some remarks on the proof-theory and the semantics of infinitary modal logic
• Structural proof theory. With an appendix by Aarne Ranta
• Syntactic cut-elimination for common knowledge
• The internalized disjunction property for intuitionistic justification logic

Cited in

(10)

• scientific article; zbMATH DE number 5622639 (Why is no real title available?)
• scientific article; zbMATH DE number 7238899 (Why is no real title available?)
• scientific article; zbMATH DE number 203220 (Why is no real title available?)
• An Infinitary Graded Modal Logic (Graded Modalities VI)
• Infinity and verifiability in Carnap's inductive logic
• NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC
• Herbrand semantics, the potential infinite, and ontology-free logic
• scientific article; zbMATH DE number 1163986 (Why is no real title available?)
• Modal logic interpretation of Dempster-Shafer theory: An infinite case
• Infinitary logic with infinite sequents: syntactic investigations

This page was built for publication: On the proof theory of infinitary modal logic

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