LoTREC
From MaRDI portal
Software:19701
No author found.
Related Items (28)
Kripke's worlds. An introduction to modal logics via tableaux ⋮ JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi ⋮ Unnamed Item ⋮ Capturing equilibrium models in modal logic ⋮ Intuitionistic Decision Procedures Since Gentzen ⋮ Implementing a relational theorem prover for modal logic ⋮ $\textsc{Met\hspace{-.5pt}TeL}$ : A Tableau Prover with Logic-Independent Inference Engine ⋮ Unnamed Item ⋮ 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 ⋮ Proof Search for the First-Order Connection Calculus in Maude ⋮ Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings ⋮ EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies ⋮ A resolution-based calculus for preferential logics ⋮ Automated Synthesis of Tableau Calculi ⋮ Automated Reasoning with Analytic Tableaux and Related Methods ⋮ Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi ⋮ Tableau Method and NEXPTIME-Completeness of DEL-Sequents ⋮ LotrecScheme ⋮ The Tableau Workbench ⋮ An efficient relational deductive system for propositional non-classical logics ⋮ Tableaux for Logics of Subinterval Structures over Dense Orderings ⋮ On coarser interval temporal logics ⋮ A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation ⋮ Unnamed Item ⋮ Local is best: efficient reductions to modal logic \textsf{K} ⋮ Local reductions for the modal cube ⋮ Modal Logic S5 Satisfiability in Answer Set Programming
This page was built for software: LoTREC
