Branching time logics with multiagent temporal accessibility relations (Q2030777): Difference between revisions

@@ 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 / cites work @@
+Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
+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 @@
+Decision procedures and expressiveness in the temporal logic of branching time
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Branching versus linear logics yet again
@@ Property / cites work: Branching versus linear logics yet again / rank @@
+Normal rank
@@ Property / cites work @@
+Non-transitive linear temporal logic and logical knowledge operations
+Normal rank
@@ Property / cites work @@
+Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility
+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 / cites work @@
+Branching time agents logics, satisfiability problem by rules in reduced form
+Normal rank
@@ Property / cites work @@
+Temporal logic with accessibility temporal relations generated by time states themselves
+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 / full work available at URL @@
+https://doi.org/10.1134/s0037446621030137
+Normal rank
@@ Property / OpenAlex ID @@
+W3171308582
@@ Property / OpenAlex ID: W3171308582 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2030777