scientific article; zbMATH DE number 1361525
From MaRDI portal
Publication:4699343
Recommendations
- A tableaux calculus for default intuitionistic logic
- scientific article; zbMATH DE number 1341482
- Tableau calculi for logic programs under answer set semantics
- scientific article; zbMATH DE number 1612545
- A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications
- Tableaux for intuitionistic logics
- Almost duplication-free tableau calculi for propositional lax logics
- scientific article; zbMATH DE number 1189095
- TABLEAUX: A general theorem prover for modal logics
- A tableau system for the modal \(\mu \)-calculus
Cited in
(13)- scientific article; zbMATH DE number 1612545 (Why is no real title available?)
- Tableaux and algorithms for Propositional Dynamic Logic with Converse
- A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications
- scientific article; zbMATH DE number 1612548 (Why is no real title available?)
- scientific article; zbMATH DE number 1950270 (Why is no real title available?)
- Terminating calculi for propositional Dummett logic with subformula property
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
- Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus
- A Tableau Calculus for Hajek's Logic BL
- scientific article; zbMATH DE number 2118592 (Why is no real title available?)
- Automated Reasoning with Analytic Tableaux and Related Methods
- Computer Science Logic
- scientific article; zbMATH DE number 2024622 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4699343)
