Modal Satisfiability via SMT Solving (Q5256336): Difference between revisions

@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Q3999578
@@ Property / cites work: Q3999578 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination for Hybrid Tableaus
@@ Property / cites work: Termination for Hybrid Tableaus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329239
@@ Property / cites work: Q4329239 / rank @@
+Normal rank
@@ Property / cites work @@
+Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\).
+Normal rank
@@ Property / cites work @@
+Using the Universal Modality: Gains and Questions
@@ Property / cites work: Using the Universal Modality: Gains and Questions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4266483
@@ Property / cites work: Q4266483 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+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 @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Functional translation and second-order frame properties of modal logics
+Normal rank
@@ Property / cites work @@
+First-Order Resolution Methods for Modal Logics
@@ Property / cites work: First-Order Resolution Methods for Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Using tableau to decide description logics with full role negation and identity
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+Q4353561
@@ Property / cites work: Q4353561 / rank @@
+Normal rank