Terminating sequent calculi for two intuitionistic modal logics

DOI10.1093/logcom/exy026zbMath1444.03060OpenAlexW2896183143WikidataQ129109444 ScholiaQ129109444MaRDI QIDQ4612455

Rosalie Iemhoff

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/394380

zbMATH Keywords

sequent calculusterminationintuitionistic modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (6)

Terminating calculi and countermodels for constructive modal logics ⋮ Towards an intuitionistic deontic logic tolerating conflicting obligations ⋮ Sequent calculi for intuitionistic Gödel-Löb logic ⋮ Uniform interpolation and the existence of sequent calculi ⋮ A proof-theoretic approach to negative translations in intuitionistic tense logics ⋮ The G4i analogue of a G3i sequent calculus

This page was built for publication: Terminating sequent calculi for two intuitionistic modal logics