Multi-agent logics with dynamic accessibly relations, projective unifiers (Q2165613): 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 @@
+Q2751360
@@ Property / cites work: Q2751360 / rank @@
+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 @@
+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 @@
+Multiagent temporal logics with multivaluations
@@ Property / cites work: Multiagent temporal logics with multivaluations / rank @@
+Normal rank
@@ Property / cites work @@
+Branching time agents logics, satisfiability problem by rules in reduced form
+Normal rank
@@ Property / cites work @@
+Projective formulas and unification in linear temporal logic LTLU
+Normal rank
@@ Property / cites work @@
+Projective unification in modal logic
@@ Property / cites work: Projective unification in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logical consecutions in discrete linear temporal logic
+Normal rank
@@ Property / cites work @@
+Linear temporal logic with until and next, logical consecutions
+Normal rank
@@ Property / cites work @@
+Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
+Normal rank