Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms (Q1694714): Difference between revisions

@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / 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 @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Verification of Reactive Systems: Response
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536333
@@ Property / cites work: Q4536333 / rank @@
+Normal rank
@@ Property / cites work @@
+DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
+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 @@
+Justified common knowledge
@@ Property / cites work: Justified common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Q2711323
@@ Property / cites work: Q2711323 / rank @@
+Normal rank
@@ Property / cites work @@
+Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
+Normal rank
@@ Property / cites work @@
+Refined common knowledge logics or logics of common information
+Normal rank
@@ Property / cites work @@
+Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
+Normal rank
@@ Property / cites work @@
+Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents
+Normal rank
@@ Property / cites work @@
+Linear temporal logic with until and next, logical consecutions
+Normal rank
@@ Property / cites work @@
+Non-transitive linear temporal logic and logical knowledge operations
+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