Cut-elimination Theorems for Some Infinitary Modal Logics

DOI<327::AID-MALQ327>3.0.CO;2-P 10.1002/1521-3870(200108)47:3<327::AID-MALQ327>3.0.CO;2-PzbMath0989.03016OpenAlexW2078604759MaRDI QIDQ2743647

Yoshihito Tanaka

Publication date: 14 July 2002

Full work available at URL: https://doi.org/10.1002/1521-3870(200108)47:3<327::aid-malq327>3.0.co;2-p

zbMATH Keywords

modal logicinfinitary logicintuitionistic logiccut-eliminationhypersequentBarcan formulasequential formulationKripke incompleteness

Mathematics Subject Classification ID

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

Related Items

Duality for \(\kappa\)-additive complete atomic modal algebras ⋮ Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic ⋮ Embedding theorems for LTL and its variants ⋮ Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic ⋮ On the proof theory of infinitary modal logic