On the proof theory of infinitary modal logic
type: Item
instance of: scholarly article
title: On the proof theory of infinitary modal logic
author: Matteo Tesi
published in: Studia Logica
publication date: 2022-11-29T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7625358
zbMATH Keywords: proof theory
zbMATH Keywords: modal logic
zbMATH Keywords: infinitary logic
zbMATH Keywords: common knowledge
MaRDI profile type: Publication
full work available at URL: s11225-022-09998-x
OpenAlex ID: W4281696559
Wikidata QID: Q113900495
cites work: Modal logic
cites work: Deep sequent systems for modal logic
cites work: Syntactic cut-elimination for common knowledge
cites work: Q3128959
cites work: First-order modal logic
cites work: Q4894942
cites work: Q3773876
cites work: Knowledge and common knowledge in a distributed environment
cites work: Q5224584
cites work: Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic
cites work: Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
cites work: Proof analysis in modal logic
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: Geometric Rules in Infinitary Logic
cites work: Q3247119
cites work: Neighborhood semantics for modal logic
cites work: An Intuitionistic Axiomatisation of Real Closed Fields
cites work: Infinitary propositional normal modal logic
cites work: Q4143279
cites work: Constructions, proofs and the meaning of logical constants
cites work: Q5605873
cites work: Kripke completeness of infinitary predicate multimodal logics
cites work: Cut-elimination theorems for some infinitary modal logics
cites work: Q4465172
cites work: Duality for \(\kappa\)-additive complete atomic modal algebras
cites work: Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic
cites work: Q4530621
DOI: 10.1007/S11225-022-09998-X
description: scientific article; zbMATH DE number 7625358