Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic

DOI10.1007/978-3-319-29198-7_8zbMath1439.03045OpenAlexW2461171513MaRDI QIDQ3305558

Pierluigi Minari

Publication date: 7 August 2020

Published in: Advances in Proof Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-29198-7_8

zbMATH Keywords

modal logicKripke semanticsinfinitary logiccut-eliminationTait-style calculi

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Other infinitary logic (03C75)

Related Items

Duality for \(\kappa\)-additive complete atomic modal algebras ⋮ An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics ⋮ The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions ⋮ On the proof theory of infinitary modal logic ⋮ Geometric Rules in Infinitary Logic

Cites Work

• Labeled sequent calculi for modal logics and implicit contractions
• Kripke completeness of infinitary predicate multimodal logics
• Proof analysis in modal logic
• Deep sequent systems for modal logic
• Infinitary propositional normal modal logic
• Multiplex semantics for deontic logic
• Cut-elimination Theorems for Some Infinitary Modal Logics
• Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
• Variants of multi-relational semantics for propositional non-normal modal logics
• An interpolation theorem for denumerably long formulas
• Remarks on an infinitary language with constructive formulas
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item