A uniform tableau method for intuitionistic modal logics. I

DOI10.1007/BF01053021zbMATH Open0797.03015OpenAlexW2005236741MaRDI QIDQ1317899FDOQ1317899

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

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

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)

Cites Work

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

Cited In (7)

• Combining many-valued and intuitionistic tableaux
• Labelled tableau systems for some subintuitionistic logics
• Title not available (Why is that?)
• On graphs for intuitionistic modal logics
• Universal proof theory: feasible admissibility in intuitionistic modal logics
• Tableaus for many-valued modal logic
• Almost duplication-free tableau calculi for propositional lax logics

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)