On the proof theory of infinitary modal logic

DOI10.1007/S11225-022-09998-XMaRDI QIDQ2106873zbMATH OpenOpenAlexWikidataFDO

Authors Matteo Tesi

Publication date 29 November 2022

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

common knowledgeinfinitary logicmodal logicproof theory

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

• 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
• 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?)
• 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

(11)

• Modal logic interpretation of Dempster-Shafer theory: An infinite case
• Infinity and verifiability in Carnap's inductive logic
• scientific article; zbMATH DE number 5622639 (Why is no real title available?)
• Herbrand semantics, the potential infinite, and ontology-free logic
• scientific article; zbMATH DE number 1163986 (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)
• NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC
• scientific article; zbMATH DE number 7238899 (Why is no real title available?)
• Infinitary logic with infinite sequents: syntactic investigations
• Non-contractive logics, paradoxes, and multiplicative quantifiers

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)