Admissibility and unification in the modal logics related to S4.2 (Q6153443): Difference between revisions

@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q2751360
@@ Property / cites work: Q2751360 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in modal and description logics
@@ Property / cites work: Unification in modal and description logics / rank @@
+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 @@
+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 @@
+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 @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / 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 @@
+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 @@
+Filtering unification and most general unifiers in modal logic
+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 @@
+Rules with parameters in modal logic. I.
@@ Property / cites work: Rules with parameters in modal logic. I. / rank @@
+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 @@
+Unification with parameters in the implication fragment of classical propositional logic
+Normal rank
@@ Property / cites work @@
+Unification in modal logic
@@ Property / cites work: Unification in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Non-unifiability in linear temporal logic of knowledge with multi-agent relations
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear temporal logic with until and next, logical consecutions
+Normal rank
@@ Property / cites work @@
+Linear Temporal Logic LTL: Basis for Admissible Rules
+Normal rank
@@ Property / cites work @@
+Logical consecutions in discrete linear temporal logic
+Normal rank
@@ Property / cites work @@
+Q3647278
@@ Property / cites work: Q3647278 / rank @@
+Normal rank
@@ Property / cites work @@
+Writing out Unifiers in Linear Temporal Logic
@@ Property / cites work: Writing out Unifiers in Linear Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Unifiers in transitive modal logics for formulas with coefficients (meta-variables)
+Normal rank
@@ Property / cites work @@
+Projective unification in modal logic
@@ Property / cites work: Projective unification in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5690146
@@ Property / cites work: Q5690146 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic and state systems
@@ Property / cites work: Temporal logic and state systems / rank @@
+Normal rank