Multi-agent logics with dynamic accessibly relations, projective unifiers (Q2165613): Difference between revisions

@@ Property / DOI @@
-.1007/s10469-022-09677-9
@@ Property / DOI: 10.1007/s10469-022-09677-9 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10469-022-09677-9
+Normal rank
@@ Property / OpenAlex ID @@
+W4289930391
@@ Property / OpenAlex ID: W4289930391 / 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 @@
+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
@@ Property / DOI @@
+.1007/S10469-022-09677-9
@@ Property / DOI: 10.1007/S10469-022-09677-9 / rank @@
+Normal rank