LoTREC

swMATH7684MaRDI QIDQ19701FDOQ19701

Author name not available (Why is that?)

Cited In (28)

• Title not available (Why is that?)
• Local reductions for the modal cube
• Title not available (Why is that?)
• $\textsc{Met\hspace{-.5pt}TeL}$ : A Tableau Prover with Logic-Independent Inference Engine
• Automated Reasoning with Analytic Tableaux and Related Methods
• A resolution-based calculus for preferential logics
• On coarser interval temporal logics
• Automated Synthesis of Tableau Calculi
• Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
• Intuitionistic Decision Procedures Since Gentzen
• JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi
• The Tableau Workbench
• Title not available (Why is that?)
• A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation
• Implementing a relational theorem prover for modal logic
• Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi
• LotrecScheme
• An efficient relational deductive system for propositional non-classical logics
• Tableau method and NEXPTIME-completeness of DEL-sequents
• EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
• Proof Search for the First-Order Connection Calculus in Maude
• Tableaux for Logics of Subinterval Structures over Dense Orderings
• Local is best: efficient reductions to modal logic \textsf{K}
• Kripke's worlds. An introduction to modal logics via tableaux
• Capturing equilibrium models in modal logic
• Modal Logic S5 Satisfiability in Answer Set Programming
• Relational dual tableau decision procedure for modal logic K
• Logic programming for finding models in the logics of knowledge and its applications: A case study

This page was built for software: LoTREC