Labelled tableau systems for some subintuitionistic logics

DOI10.1007/S11787-018-0201-ZMaRDI QIDQ2334660zbMATH OpenOpenAlexFDO

Authors Minghui Ma

Publication date 7 November 2019

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-018-0201-z

zbMATH Keywords

modal logicsubintuitionistic logiclabelled tableau system

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• A uniform tableau method for intuitionistic modal logics. I
• scientific article; zbMATH DE number 1953898
• Generalized tableau systems for intermediate propositional logics
• Labelled tableaux for interpretability logics
• scientific article; zbMATH DE number 1749009

Cites work

• scientific article; zbMATH DE number 3113496 (Why is no real title available?)
• scientific article; zbMATH DE number 3082561 (Why is no real title available?)
• A closer look at some subintuitionistic logics
• A completeness theorem in modal logic
• Modal logic
• Proof methods for modal and intuitionistic logics
• Strongly analytic tableaux for normal modal logics
• Tableau methods for modal and temporal logics
• Weak Logics with Strict Implication

Cited in

(5)

• Hintikka memorial issue: introduction and remarks on Jaakko Hintikka's logical philosophy
• Labelled tableaux for interpretability logics
• scientific article; zbMATH DE number 6316278 (Why is no real title available?)
• Tableau Systems for Logics of Subinterval Structures over Dense Orderings
• Semantic Labelled Tableaux for Propositional BI

This page was built for publication: Labelled tableau systems for some subintuitionistic logics

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