Terminating sequent calculi for two intuitionistic modal logics

DOI10.1093/LOGCOM/EXY026MaRDI QIDQ4612455zbMATH OpenOpenAlexWikidataFDO

Authors 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

intuitionistic modal logicsequent calculustermination

Mathematics Subject Classification ID

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

Recommendations

• Gentzen sequent calculi for some intuitionistic modal logics
• Sequent calculi for intuitionistic Gödel-Löb logic
• On sequent calculi for intuitionistic propositional logic.
• Tree-sequent calculi and decision procedures for intuitionistic modal logics
• Intuitionistic logic freed of all metarules

Cited in

(12)

• Sequent calculi for intuitionistic Gödel-Löb logic
• A proof-theoretic approach to negative translations in intuitionistic tense logics
• The G4i analogue of a G3i sequent calculus
• Terminating calculi and countermodels for constructive modal logics
• Uniform interpolation and the existence of sequent calculi
• On sequent calculi for intuitionistic propositional logic.
• Gentzen sequent calculi for some intuitionistic modal logics
• Intuitionistic logic freed of all metarules
• Towards an intuitionistic deontic logic tolerating conflicting obligations
• Proof theory for Lax Logic
• Constructive modal logics: bi-nested calculi and bi-relational countermodels
• Intuitionistic epistemic logic with two modal operators

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4612455)