Multi-agent temporal nontransitive linear logics and the admissibility problem (Q2213922): Difference between revisions

@@ Property / DOI @@
-.1007/s10469-020-09581-0
@@ Property / DOI: 10.1007/s10469-020-09581-0 / rank @@
-Normal rank
@@ Property / author @@
-Vladimir Vladimirovich Rybakov
@@ Property / author: Vladimir Vladimirovich Rybakov / rank @@
-Normal rank
@@ Property / author @@
+Vladimir Vladimirovich Rybakov
@@ Property / author: Vladimir Vladimirovich Rybakov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3026383078
@@ Property / OpenAlex ID: W3026383078 / rank @@
+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 @@
+Q4218015
@@ Property / cites work: Q4218015 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536333
@@ Property / cites work: Q4536333 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
+Normal rank
@@ Property / cites work @@
+Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
+Normal rank
@@ Property / cites work @@
+Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal logic of linear time frames with inductions axiom
+Normal rank
@@ Property / cites work @@
+Q3376919
@@ Property / cites work: Q3376919 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong decidability and strong recognizability
@@ Property / cites work: Strong decidability and strong recognizability / rank @@
+Normal rank
@@ Property / cites work @@
+Non-transitive linear temporal logic and logical knowledge operations
+Normal rank
@@ Property / cites work @@
+Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
+Normal rank
@@ Property / cites work @@
+Multiagent temporal logics with multivaluations
@@ Property / cites work: Multiagent temporal logics with multivaluations / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility
+Normal rank
@@ Property / cites work @@
+Temporal multi-valued logic with lost worlds in the past
+Normal rank
@@ Property / DOI @@
+.1007/S10469-020-09581-0
@@ Property / DOI: 10.1007/S10469-020-09581-0 / rank @@
+Normal rank