Simulation and Synthesis of Deduction Calculi (Q3185770): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2010.04.016
@@ Property / DOI: 10.1016/j.entcs.2010.04.016 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SPASS
@@ Property / describes a project that uses: SPASS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VAMPIRE
@@ Property / describes a project that uses: VAMPIRE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MSPASS
@@ Property / describes a project that uses: MSPASS / 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.1016/j.entcs.2010.04.016
+Normal rank
@@ Property / OpenAlex ID @@
+W2145617815
@@ Property / OpenAlex ID: W2145617815 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+Resolution in Modal, Description and Hybrid Logic
@@ Property / cites work: Resolution in Modal, Description and Hybrid Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Tableau Method for Checking Rule Admissibility in S4
+Normal rank
@@ Property / cites work @@
+Blocking and Other Enhancements for Bottom-Up Model Generation Methods
+Normal rank
@@ Property / cites work @@
+Resolution-based methods for modal logics
@@ Property / cites work: Resolution-based methods for modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+A general framework for pattern-driven modal tableaux
+Normal rank
@@ Property / cites work @@
+Q2751377
@@ Property / cites work: Q2751377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809060
@@ Property / cites work: Q4809060 / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperresolution for guarded formulae
@@ Property / cites work: Hyperresolution for guarded formulae / rank @@
+Normal rank
@@ Property / cites work @@
+An empirical analysis of modal theorem provers
@@ Property / cites work: An empirical analysis of modal theorem provers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503911
@@ Property / cites work: Q4503911 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721185
@@ Property / cites work: Q2721185 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751044
@@ Property / cites work: Q2751044 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics-Based Translation Methods for Modal Logics
+Normal rank
@@ Property / cites work @@
+Functional translation and second-order frame properties of modal logics
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150300
@@ Property / cites work: Q3150300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509041
@@ Property / cites work: Q3509041 / rank @@
+Normal rank
@@ Property / cites work @@
+A new methodology for developing deduction methods
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+The axiomatic translation principle for modal logic
+Normal rank
@@ Property / cites work @@
+A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments
+Normal rank
@@ Property / cites work @@
+Automated Synthesis of Tableau Calculi
@@ Property / cites work: Automated Synthesis of Tableau Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+System Description: Spass Version 3.0
@@ Property / cites work: System Description: Spass Version 3.0 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2010.04.016
@@ Property / DOI: 10.1016/J.ENTCS.2010.04.016 / rank @@
+Normal rank