Logics of Rational Interaction (Q2902939): Difference between revisions

@@ Property / author @@
-Barteld P. Kooi
@@ Property / author: Barteld P. Kooi / rank @@
-Normal rank
@@ Property / author @@
+Barteld P. Kooi
@@ Property / author: Barteld P. Kooi / 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/978-94-007-0074-1_2
+Normal rank
@@ Property / OpenAlex ID @@
+W2116955934
@@ Property / OpenAlex ID: W2116955934 / rank @@
+Normal rank
@@ Property / cites work @@
+The Dynamics of Syntactic Knowledge
@@ Property / cites work: The Dynamics of Syntactic Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Verifying time, memory and communication bounds in systems of reasoning agents
+Normal rank
@@ Property / cites work @@
+Introducing Justification into Epistemic Logic
@@ Property / cites work: Introducing Justification into Epistemic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Interpreting an action from what we perceive and what we expect
+Normal rank
@@ Property / cites work @@
+From DEL to EDL: Exploring the Power of Converse Events
+Normal rank
@@ Property / cites work @@
+Agreeing to disagree
@@ Property / cites work: Agreeing to disagree / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive epistemology. I: Knowledge
@@ Property / cites work: Interactive epistemology. I: Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Logics for epistemic programs
@@ Property / cites work: Logics for epistemic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4648827
@@ Property / cites work: Q4648827 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+Q3469091
@@ Property / cites work: Q3469091 / 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 @@
+Conditional probability meets update logic
@@ Property / cites work: Conditional probability meets update logic / 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 @@
+Dynamic logic for belief revision
@@ Property / cites work: Dynamic logic for belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Bridges between Dynamic Doxastic and Doxastic Temporal Logics
+Normal rank
@@ Property / cites work @@
+Modal Fixed-Point Logic and Changing Models
@@ Property / cites work: Modal Fixed-Point Logic and Changing Models / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic logic of preference upgrade
@@ Property / cites work: Dynamic logic of preference upgrade / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509047
@@ Property / cites work: Q3509047 / 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 @@
+Dynamic update with probabilities
@@ Property / cites work: Dynamic update with probabilities / 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 @@
+Axiomatic characterization of the AGM theory of belief revision in a temporal logic
+Normal rank
@@ Property / cites work @@
+The power of paradox: some recent developments in interactive epistemology
+Normal rank
@@ Property / cites work @@
+A formal model of multi-agent belief-interaction
@@ Property / cites work: A formal model of multi-agent belief-interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4648829
@@ Property / cites work: Q4648829 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Logic and Knowledge Puzzles
@@ Property / cites work: Dynamic Epistemic Logic and Knowledge Puzzles / rank @@
+Normal rank
@@ Property / cites work @@
+The Russian cards problem
@@ Property / cites work: The Russian cards problem / rank @@
+Normal rank
@@ Property / cites work @@
+Prolegomena to dynamic logic for belief revision
@@ Property / cites work: Prolegomena to dynamic logic for belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+The secret of my success
@@ Property / cites work: The secret of my success / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852032
@@ Property / cites work: Q2852032 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about rational, but not logically omniscient, agents
+Normal rank
@@ Property / cites work @@
+Q2784269
@@ Property / cites work: Q2784269 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with Justifications
@@ Property / cites work: Reasoning with Justifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483001
@@ Property / cites work: Q5483001 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling belief in dynamic systems. I: Foundations
+Normal rank
@@ Property / cites work @@
+Q4242055
@@ Property / cites work: Q4242055 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518805
@@ Property / cites work: Q4518805 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about information change
@@ Property / cites work: Reasoning about information change / rank @@
+Normal rank
@@ Property / cites work @@
+The surprise examination in dynamic epistemic logic
+Normal rank
@@ Property / cites work @@
+Set-theoretic completeness for epistemic and conditional logic
+Normal rank
@@ Property / cites work @@
+Modeling Adversaries in a Logic for Security Protocol Analysis
+Normal rank
@@ Property / cites work @@
+The complexity of reasoning about knowledge and time. I: Lower bounds
+Normal rank
@@ Property / cites work @@
+Complete Axiomatizations for Reasoning about Knowledge and Time
+Normal rank
@@ Property / cites work @@
+Q4451078
@@ Property / cites work: Q4451078 / rank @@
+Normal rank
@@ Property / cites work @@
+Games with Incomplete Information Played by “Bayesian” Players, I–III Part I. The Basic Model
+Normal rank
@@ Property / cites work @@
+Towards a Logic of Rational Agency
@@ Property / cites work: Towards a Logic of Rational Agency / rank @@
+Normal rank
@@ Property / cites work @@
+Update semantics of security protocols
@@ Property / cites work: Update semantics of security protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Q5422030
@@ Property / cites work: Q5422030 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic with branching temporal structures
+Normal rank
@@ Property / cites work @@
+Probabilistic dynamic epistemic logic
@@ Property / cites work: Probabilistic dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Expressivity and completeness for public update logics via reduction axioms
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge in multiagent systems
@@ Property / cites work: Knowledge in multiagent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3252269
@@ Property / cites work: Q3252269 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete axiomatizations for reasoning about knowledge and branching time
+Normal rank
@@ Property / cites work @@
+The undecidability of iterated modal relativization
+Normal rank
@@ Property / cites work @@
+Q5844986
@@ Property / cites work: Q5844986 / rank @@
+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 @@
+Social Interaction, Knowledge, and Social Software
+Normal rank
@@ Property / cites work @@
+The logic of knowledge based obligation
@@ Property / cites work: The logic of knowledge based obligation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680260
@@ Property / cites work: Q3680260 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of public communications
@@ Property / cites work: Logics of public communications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+Changing Modalities
@@ Property / cites work: Changing Modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Public communication in justification logic
@@ Property / cites work: Public communication in justification logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3571950
@@ Property / cites work: Q3571950 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4876413
@@ Property / cites work: Q4876413 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending probabilistic dynamic epistemic logic
@@ Property / cites work: Extending probabilistic dynamic epistemic 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 @@
+Q5826088
@@ Property / cites work: Q5826088 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiagent Systems
@@ Property / cites work: Multiagent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Inference and update
@@ Property / cites work: Inference and update / rank @@
+Normal rank
@@ Property / cites work @@
+Defaults in update semantics
@@ Property / cites work: Defaults in update semantics / rank @@
+Normal rank