Pages that link to "Item:Q2971701"
From MaRDI portal
The following pages link to The Logic of Public Announcements, Common Knowledge, and Private Suspicions (Q2971701):
Displayed 50 items.
- Multi-agent justification logic: communication and evidence elimination (Q375307) (← links)
- Action emulation (Q375313) (← links)
- Reasoning dynamically about what one says (Q408344) (← links)
- A modal type theory for formalizing trusted communications (Q420842) (← links)
- AGM 25 years. Twenty-five years of research in belief change (Q535321) (← links)
- Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth (Q542124) (← links)
- What will they say? -- Public announcement games (Q542137) (← links)
- McCarthy variations in a modal key (Q543607) (← links)
- Finite identification from the viewpoint of epistemic update (Q553305) (← links)
- Merging DEL and ETL (Q616038) (← links)
- The situation calculus: a case for modal logic (Q616039) (← links)
- Automata for epistemic temporal logic with synchronous communication (Q616040) (← links)
- The dynamics of awareness (Q625715) (← links)
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- The language of social software (Q625718) (← links)
- Dynamic logics of knowledge and access (Q625719) (← links)
- Reasoning about permitted announcements (Q652739) (← links)
- Toward a dynamic logic of questions (Q692177) (← links)
- Agreement theorems in dynamic-epistemic logic (Q692182) (← links)
- Interrogative belief revision based on epistemic strategies (Q694496) (← links)
- Prolegomena to dynamic logic for belief revision (Q813422) (← links)
- Ockham's razor and reasoning about information flow (Q833039) (← links)
- Logic and social cognition. The facts matter, and so do computational models (Q843769) (← links)
- A modal interpretation of the logic of interrogation (Q851195) (← links)
- The secret of my success (Q857682) (← links)
- Logics of communication and change (Q859825) (← links)
- Dynamic doxastic logic: why, how, and where to? (Q885520) (← links)
- A logic of intention and attempt (Q934779) (← links)
- Towards a ``sophisticated'' model of belief dynamics. I: The general framework (Q935023) (← links)
- A sketch of a dynamic epistemic semiring (Q964506) (← links)
- Belief ascription under bounded resources (Q987466) (← links)
- Towards a ``sophisticated'' model of belief dynamics. II: Belief revision (Q1005934) (← links)
- Knowledge condition games (Q1006447) (← links)
- Diversity of agents and their interaction (Q1006512) (← links)
- Logical dynamics of some speech acts that affect obligations and preferences (Q1024131) (← links)
- Probabilistic dynamic belief revision (Q1024132) (← links)
- Public and private communication are different: Results on relative expressivity (Q1024135) (← links)
- Dynamic update with probabilities (Q1035842) (← links)
- Dynamic epistemic logic with branching temporal structures (Q1036059) (← links)
- Introspective forgetting (Q1036061) (← links)
- Keep `hoping' for rationality: a solution to the backward induction paradox (Q1036069) (← links)
- Merging frameworks for interaction (Q1037376) (← links)
- Interrogative belief revision in modal logic (Q1037377) (← links)
- Local properties in modal logic (Q1761295) (← links)
- Update semantics of security protocols (Q2386105) (← links)
- Knowledge and communication: A first-order theory (Q2457657) (← links)
- Knowledge updates: Semantics and complexity issues (Q2457677) (← links)
- Comments to `Logics of public communications' (Q2460186) (← links)
- The cognitive structure of surprise: looking for basic principles (Q2460293) (← links)
- The logic of Pit (Q2500833) (← links)