On the proof theory of infinitary modal logic

DOI10.1007/s11225-022-09998-xOpenAlexW4281696559WikidataQ113900495 ScholiaQ113900495MaRDI QIDQ2106873

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

modal logicproof theoryinfinitary logiccommon knowledge

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Kripke completeness of infinitary predicate multimodal logics
• Constructions, proofs and the meaning of logical constants
• Proof analysis in modal logic
• Duality for \(\kappa\)-additive complete atomic modal algebras
• Deep sequent systems for modal logic
• Syntactic cut-elimination for common knowledge
• Infinitary propositional normal modal logic
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• First-order modal logic
• Neighborhood semantics for modal logic
• Cut-elimination Theorems for Some Infinitary Modal Logics
• Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic
• Knowledge and common knowledge in a distributed environment
• An Intuitionistic Axiomatisation of Real Closed Fields
• Geometric Rules in Infinitary Logic
• Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic

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