Unification in linear temporal logic LTL (Q716499): Difference between revisions

@@ Property / cites work @@
+Unification in a Description Logic with Transitive Closure of Roles
+Normal rank
@@ Property / cites work @@
+Unification of concept terms in description logics
+Normal rank
@@ Property / cites work @@
+Unification in the Description Logic EL
@@ Property / cites work: Unification in the Description Logic EL / rank @@
+Normal rank
@@ Property / cites work @@
+A Tableau Method for Checking Rule Admissibility in S4
+Normal rank
@@ Property / cites work @@
+Unification in intuitionistic logic
@@ Property / cites work: Unification in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Best solving modal equations
@@ Property / cites work: Best solving modal equations / rank @@
+Normal rank
@@ Property / cites work @@
+Unification through projectivity
@@ Property / cites work: Unification through projectivity / rank @@
+Normal rank
@@ Property / cites work @@
+Unification, finite duality and projectivity in varieties of Heyting algebras
+Normal rank
@@ Property / cites work @@
+A Resolution/Tableaux Algorithm for Projective Approximations in IPC
+Normal rank
@@ Property / cites work @@
+On the admissible rules of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Proof theory for admissible rules
@@ Property / cites work: Proof theory for admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible Rules of Lukasiewicz Logic
@@ Property / cites work: Admissible Rules of Lukasiewicz Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible Rules of Modal Logics
@@ Property / cites work: Admissible Rules of Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Independent Bases of Admissible Rules
@@ Property / cites work: Independent Bases of Admissible Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of admissible rules
@@ Property / cites work: Complexity of admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic and state systems
@@ Property / cites work: Temporal logic and state systems / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Unification from a Higher-Order Perspective
+Normal rank
@@ Property / cites work @@
+Fast algorithms for uniform semi-unification
@@ Property / cites work: Fast algorithms for uniform semi-unification / rank @@
+Normal rank
@@ Property / cites work @@
+A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Linear temporal logic with until and next, logical consecutions
+Normal rank
@@ Property / cites work @@
+Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
+Normal rank
@@ Property / cites work @@
+Rules of inference with parameters for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q3647278
@@ Property / cites work: Q3647278 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification
+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 @@
+The complexity of propositional linear temporal logics
+Normal rank