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

sequent calculiintuitionistic modal logicdisjunction propertytableau systemsforcing relationKripke-type model

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

• 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?)
• 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
• 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

(7)

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

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)