A uniform tableau method for intuitionistic modal logics. I

DOI10.1007/BF01053021zbMath0797.03015OpenAlexW2005236741MaRDI QIDQ1317899

Fiora Pirri, Giambattista Amati

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 propertysequent calculitableau systemsintuitionistic modal logicforcing relationKripke-type model

Mathematics Subject Classification ID

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

Related Items (3)

Tableaus for many-valued modal logic ⋮ On graphs for intuitionistic modal logics ⋮ Almost duplication-free tableau calculi for prepositional lax logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructive modal logics. I
• Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics
• An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
• Proof methods for modal and intuitionistic logics
• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• Modality and possibility in some intuitionistic modal logics
• Semantical investigations in Heyting's intuitionistic logic
• Intuitionistic modal logics incompatible with the law of the excluded middle
• On modal logic with an intuitionistic base
• On some intuitionistic modal logics
• The finite model property for MIPQ and some consequences
• Untersuchungen über das logische Schliessen. I
• A modal extension of intuitionist logic
• Completeness for non normal intuitionistic modal logics
• Intuitionistic tense and modal logic
• MIPC as the formalisation of an intuitionist concept of modality
• Proof theory

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