A syntactic approach to unification in transitive reflexive modal logics (Q286704): Difference between revisions

@@ Property / cites work @@
+Unification in modal and description logics
@@ Property / cites work: Unification in modal and description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Structural completeness in fuzzy logics
@@ Property / cites work: Structural completeness in fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible rules in the implication-negation fragment of intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q5393803
@@ Property / cites work: Q5393803 / rank @@
+Normal rank
@@ Property / cites work @@
+Projective unification in modal logic
@@ Property / cites work: Projective unification in modal logic / rank @@
+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 @@
+A Resolution/Tableaux Algorithm for Projective Approximations in IPC
+Normal rank
@@ Property / cites work @@
+Unification, finite duality and projectivity in varieties of Heyting algebras
+Normal rank
@@ Property / cites work @@
+On the admissible rules of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Intermediate logics and Visser's rules
@@ Property / cites work: Intermediate logics and Visser's rules / rank @@
+Normal rank
@@ Property / cites work @@
+On rules
@@ Property / cites work: On rules / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
+Normal rank
@@ Property / cites work @@
+Proof theory for admissible rules
@@ Property / cites work: Proof theory for admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+UNIFICATION IN INTERMEDIATE LOGICS
@@ Property / cites work: UNIFICATION IN INTERMEDIATE LOGICS / 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 @@
+Complexity of admissible rules
@@ Property / cites work: Complexity of admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q3472080
@@ Property / cites work: Q3472080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133602
@@ Property / cites work: Q4133602 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Completeness in Substructural Logics
@@ Property / cites work: Structural Completeness in Substructural Logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the structural completeness of some pure implicational propositional calculi
+Normal rank
@@ Property / cites work @@
+Q4133597
@@ Property / cites work: Q4133597 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of the unification and admissibility problems for modal and description logics
+Normal rank