Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics

Authors:
Alain Heuerding;Michael Seyfried;Heinrich Zimmermann
Affiliations:
-;-;-
Venue:
TABLEAUX '96 Proceedings of the 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
Year:
1996

Citing 0
Cited 22

Single Step Tableaux for Modal Logics

Journal of Automated Reasoning
A Benchmark Method for the Propositional Modal Logics K, KT, S4

Journal of Automated Reasoning
Displaying Modal Logic, Heinrich Wansing

Journal of Logic, Language and Information
A New One-Pass Tableau Calculus for PLTL

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
KtSeqC: System Description

TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Proof search in Lax Logic

Mathematical Structures in Computer Science
Deciding Regular Grammar Logics with Converse Through First-Order Logic

Journal of Logic, Language and Information
A Cut-Free Sequent Calculus for Bi-intuitionistic Logic

TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies

TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic

Informatica
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning

ACM Transactions on Computational Logic (TOCL)
The Tableau Workbench

Electronic Notes in Theoretical Computer Science (ENTCS)
Deep Inference in Bi-intuitionistic Logic

WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference

TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Generic Modal Cut Elimination Applied to Conditional Logics

TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Conditional and Preferential Logics: Proof Methods and Theorem Proving

Proceedings of the 2010 conference on Conditional and Preferential Logics: Proof Methods and Theorem Proving
Cut elimination for shallow modal logics

TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
A note on uniform interpolation proofs in modal deep inference calculi

TbiLLC'09 Proceedings of the 8th international tbilisi conference on Logic, language, and computation
Analytic tableaux for KLM preferential and cumulative logics

LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Decision procedure for a fragment of mutual belief logic with quantified agent variables

CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
ExpTime Tableaux for Using Sound Global Caching

Journal of Automated Reasoning
Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models

Journal of Automated Reasoning

Quantified Score

Hi-index	0.00

Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics

Quantified Score

Visualization

Abstract