Implementing a relational theorem prover for modal logic (Q3008387): Difference between revisions

@@ Property / describes a project that uses @@
+leanTAP
@@ Property / describes a project that uses: leanTAP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LoTREC
@@ Property / describes a project that uses: LoTREC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1080/00207160.2010.493211
+Normal rank
@@ Property / OpenAlex ID @@
+W2009739854
@@ Property / OpenAlex ID: W2009739854 / rank @@
+Normal rank
@@ Property / cites work @@
+The Tableau Workbench
@@ Property / cites work: The Tableau Workbench / rank @@
+Normal rank
@@ Property / cites work @@
+An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability
+Normal rank
@@ Property / cites work @@
+A benchmark method for the propositional modal logics K, KT, S4
+Normal rank
@@ Property / cites work @@
+lean\(T^ AP\): Lean tableau-based deduction
@@ Property / cites work: lean\(T^ AP\): Lean tableau-based deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Relational dual tableaux for interval temporal logics ★
+Normal rank
@@ Property / cites work @@
+An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
+Normal rank
@@ Property / cites work @@
+A proof system for contact relation algebras
@@ Property / cites work: A proof system for contact relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient relational deductive system for propositional non-classical logics
+Normal rank
@@ Property / cites work @@
+Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
+Normal rank
@@ Property / cites work @@
+Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
+Normal rank
@@ Property / cites work @@
+A new deduction system for deciding validity in modal logic K
+Normal rank
@@ Property / cites work @@
+On Automating the Calculus of Relations
@@ Property / cites work: On Automating the Calculus of Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Rasiowa-Sikorski deduction systems in computer science applications.
+Normal rank
@@ Property / cites work @@
+Single step tableaux for modal logics. Computational properties, complexity and methodology
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Relational proof system for relevant logics
@@ Property / cites work: Relational proof system for relevant logics / rank @@
+Normal rank