Temporal Aspects of the Dynamics of Knowledge (Q5249672): Difference between revisions

@@ Property / cites work @@
+Knowledge Games and Coalitional Abilities
@@ Property / cites work: Knowledge Games and Coalitional Abilities / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+Tense logic and time
@@ Property / cites work: Tense logic and time / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of communication and change
@@ Property / cites work: Logics of communication and change / rank @@
+Normal rank
@@ Property / cites work @@
+Merging frameworks for interaction
@@ Property / cites work: Merging frameworks for interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4833768
@@ Property / cites work: Q4833768 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122692
@@ Property / cites work: Q3122692 / rank @@
+Normal rank
@@ Property / cites work @@
+Games in Dynamic-Epistemic Logic
@@ Property / cites work: Games in Dynamic-Epistemic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5494230
@@ Property / cites work: Q5494230 / rank @@
+Normal rank
@@ Property / cites work @@
+What one may come to know
@@ Property / cites work: What one may come to know / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Dynamics of Information and Interaction
@@ Property / cites work: Logical Dynamics of Information and Interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about Strategies
@@ Property / cites work: Reasoning about Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Q5404483
@@ Property / cites work: Q5404483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509047
@@ Property / cites work: Q3509047 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5417809
@@ Property / cites work: Q5417809 / rank @@
+Normal rank
@@ Property / cites work @@
+Structures for Epistemic Logic
@@ Property / cites work: Structures for Epistemic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Memory and perfect recall in extensive games
@@ Property / cites work: Memory and perfect recall in extensive games / rank @@
+Normal rank
@@ Property / cites work @@
+Belief change in branching time: AGM-consistency and iterated revision
+Normal rank
@@ Property / cites work @@
+Logic and Game Theory
@@ Property / cites work: Logic and Game Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Connecting dynamic epistemic and temporal epistemic logics
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Logics
@@ Property / cites work: Dynamic Epistemic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal temporal epistemic logic
@@ Property / cites work: Minimal temporal epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+What can machines know?
@@ Property / cites work: What can machines know? / rank @@
+Normal rank
@@ Property / cites work @@
+Adding a temporal dimension to a logic system
@@ Property / cites work: Adding a temporal dimension to a logic system / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Belief Revision and Dynamic Logic
@@ Property / cites work: Belief Revision and Dynamic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing semantics of logics for multi-agent systems
+Normal rank
@@ Property / cites work @@
+Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic
+Normal rank
@@ Property / cites work @@
+The complexity of reasoning about knowledge and time. I: Lower bounds
+Normal rank
@@ Property / cites work @@
+Knowledge and common knowledge in a distributed environment
+Normal rank
@@ Property / cites work @@
+Complete Axiomatizations for Reasoning about Knowledge and Time
+Normal rank
@@ Property / cites work @@
+Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic with branching temporal structures
+Normal rank
@@ Property / cites work @@
+Complete axiomatizations for reasoning about knowledge and branching time
+Normal rank
@@ Property / cites work @@
+Some comments on history based structures
@@ Property / cites work: Some comments on history based structures / rank @@
+Normal rank
@@ Property / cites work @@
+REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION
+Normal rank
@@ Property / cites work @@
+A knowledge based semantics of messages
@@ Property / cites work: A knowledge based semantics of messages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680260
@@ Property / cites work: Q3680260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Temporal Logic
@@ Property / cites work: Dynamic Epistemic Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal languages for epistemic programs
@@ Property / cites work: Temporal languages for epistemic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for update products and steps into the past
@@ Property / cites work: Logic for update products and steps into the past / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844043
@@ Property / cites work: Q2844043 / rank @@
+Normal rank