Sequent-systems for modal logic

DOI10.2307/2273797zbMath0562.03009OpenAlexW2118895762MaRDI QIDQ5187258

Kosta Došen

Publication date: 1985

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273797

zbMATH Keywords

logical constantsGentzen-style formulations of S5 and S4sequents of higher levels

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Proof theory and constructive mathematics (03F99)

Related Items (16)

VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED ⋮ Logicality, double-line rules, and modalities ⋮ Sequent-systems and groupoid models. I ⋮ LINEAR TIME IN HYPERSEQUENT FRAMEWORK ⋮ A novel approach to equality ⋮ Geometric modal logic ⋮ A proof-theoretic investigation of a logic of positions ⋮ Nested sequents for intuitionistic logics ⋮ A perspective on modal sequent logic ⋮ Modal translations in substructural logics ⋮ European Summer Meeting of the Association for Symbolic Logic, Hull, 1986 ⋮ A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5 ⋮ A survey of nonstandard sequent calculi ⋮ A first approach to abstract modal logics ⋮ Modal logic as metalogic ⋮ Simple consequence relations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Sequent-systems for modal logic