A uniform tableau method for intuitionistic modal logics. I

DOI10.1007/BF01053021MaRDI QIDQ1317899zbMATH OpenOpenAlexFDO

Authors Giambattista Amati, Fiora Pirri

Publication date 22 March 1994

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01053021

zbMATH Keywords

disjunction propertyforcing relationintuitionistic modal logicKripke-type modelsequent calculitableau systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Review text

The author presents tableau systems and sequent calculi for the intuitionistic analogues IK, ID, IT, IKB, IKDB, IB, IK4, IKD4, IS4, IKB4, IK5, IKD5, IK45, IKD45 and IS5 of the normal classical modal logics. He provides soundness and completeness theorems with respect to the models of intuitionistic logic enriched by a modal accessibility relation, as proposed by G. Fischer Servi, and shows the disjunction property for IK, ID, IT, IKB, IKDB, IB, IK4, IKD4, IS4, IKB4, IK5, IK45 and IS5.

Recommendations

• scientific article; zbMATH DE number 1303434
• scientific article; zbMATH DE number 922622
• scientific article; zbMATH DE number 1507194
• Models for normal intuitionistic modal logics
• Combining many-valued and intuitionistic tableaux

Cites work

• A modal extension of intuitionist logic
• An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
• Completeness for non normal intuitionistic modal logics
• Constructive modal logics. I
• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• scientific article; zbMATH DE number 3950488 (Why is no real title available?)
• scientific article; zbMATH DE number 4106814 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3732006 (Why is no real title available?)
• scientific article; zbMATH DE number 1028819 (Why is no real title available?)
• scientific article; zbMATH DE number 3054619 (Why is no real title available?)
• Intuitionistic modal logics incompatible with the law of the excluded middle
• Intuitionistic tense and modal logic
• Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics
• MIPC as the formalisation of an intuitionist concept of modality
• Modality and possibility in some intuitionistic modal logics
• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• On modal logic with an intuitionistic base
• On some intuitionistic modal logics
• Proof methods for modal and intuitionistic logics
• Proof theory
• Semantical investigations in Heyting's intuitionistic logic
• The finite model property for MIPQ and some consequences
• Untersuchungen über das logische Schliessen. I

Cited in

(9)

• On graphs for intuitionistic modal logics
• Tableaus for many-valued modal logic
• Labelled tableau systems for some subintuitionistic logics
• Almost duplication-free tableau calculi for propositional lax logics
• Combining many-valued and intuitionistic tableaux
• scientific article; zbMATH DE number 922622 (Why is no real title available?)
• Universal proof theory: feasible admissibility in intuitionistic modal logics
• Multi-succedent sequent calculus for intuitionistic epistemic logic
• Intuitionistic epistemic logic with two modal operators

This page was built for publication: A uniform tableau method for intuitionistic modal logics. I

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