LoTREC

swMATH7684MaRDI QIDQ19701FDOQ19701

Author name not available (Why is that?)

Cited In (28)

• Local reductions for the modal cube
• Title not available (Why is that?)
• Automated Reasoning with Analytic Tableaux and Related Methods
• Implementing a relational theorem prover for modal logic K
• A resolution-based calculus for preferential logics
• A tableau system for right propositional neighborhood logic over finite linear orders: an implementation
• Terminating modal tableaux with simple completeness proof
• On coarser interval temporal logics
• Tableaux for logics of subinterval structures over dense orderings
• 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?)
• Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi
• Logic programming for finding models in the logics of knowledge and its applications: a case study
• LotrecScheme
• Automated synthesis of tableau calculi
• 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
• 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
• \textsc{MetTeL}: a tableau prover with logic-independent inference engine

This page was built for software: LoTREC