Sequent calculi and decision procedures for weak modal systems

DOI10.1023/A:1026753129680zbMath0968.03023MaRDI QIDQ1840651

Thierry Lucas, Rene Lavendhomme

Publication date: 11 February 2001

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

modal logiccut eliminationsequent calculusdecision procedurebounds on finite countermodelsinversion rulesLöb rulesweak modal systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05)

Related Items (10)

Intuitionistic non-normal modal logics: a general framework ⋮ HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) ⋮ Let Us investigate! Dynamic conjecture-making as the formal logic of abduction ⋮ Explicit non-normal modal logic ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Sequent systems for negative modalities ⋮ Labelled sequent calculi for Lewis' non-normal propositional modal logics ⋮ Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics ⋮ Modular sequent calculi for classical modal logics

This page was built for publication: Sequent calculi and decision procedures for weak modal systems