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)

Cites Work

• Modal logic
• Structural proof theory. With an appendix by Aarne Ranta
• Title not available (Why is that?)
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Title not available (Why is that?)
• Proof analysis in modal logic
• Geometric Rules in Infinitary Logic
• First-order modal logic
• Knowledge and common knowledge in a distributed environment
• Title not available (Why is that?)
• Deep sequent systems for modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Neighborhood semantics for modal logic
• Title not available (Why is that?)
• Syntactic cut-elimination for common knowledge
• Title not available (Why is that?)
• Constructions, proofs and the meaning of logical constants
• Infinitary propositional normal modal logic
• Kripke completeness of infinitary predicate multimodal logics
• Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic
• Cut-elimination theorems for some infinitary modal logics
• Duality for \(\kappa\)-additive complete atomic modal algebras
• Title not available (Why is that?)
• An Intuitionistic Axiomatisation of Real Closed Fields
• Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic
• Title not available (Why is that?)

Cited In (10)

• Infinitary logic with infinite sequents: syntactic investigations
• Infinity and verifiability in Carnap's inductive logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC
• Modal logic interpretation of Dempster-Shafer theory: An infinite case
• Title not available (Why is that?)
• Title not available (Why is that?)
• Herbrand semantics, the potential infinite, and ontology-free logic
• An Infinitary Graded Modal Logic (Graded Modalities VI)

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)