Pages that link to "Item:Q2971701"

The following pages link to The Logic of Public Announcements, Common Knowledge, and Private Suspicions (Q2971701):

Displaying 50 items.

• True lies (Q143747) (← links)
• Logics of informational interactions (Q266639) (← links)
• Announcements to attentive agents (Q302225) (← links)
• The undecidability of quantified announcements (Q310079) (← links)
• A logical theory of localization (Q310092) (← links)
• Multi-agent justification logic: communication and evidence elimination (Q375307) (← links)
• Action emulation (Q375313) (← links)
• Algebraic semantics and model completeness for intuitionistic public announcement logic (Q393906) (← links)
• Reasoning dynamically about what one says (Q408344) (← links)
• A modal type theory for formalizing trusted communications (Q420842) (← links)
• Information dynamics and uniform substitution (Q484920) (← links)
• On axiomatizations of public announcement logic (Q484925) (← links)
• Public announcement logic with distributed knowledge: expressivity, completeness and complexity (Q484926) (← links)
• Exploring the tractability border in epistemic tasks (Q484931) (← links)
• Dynamics of lying (Q484939) (← links)
• Transition semantics: the dynamics of dependence logic (Q484952) (← links)
• Multiagent belief revision (Q492877) (← links)
• Syntactic awareness in logical dynamics (Q513899) (← links)
• Inquisitive dynamic epistemic logic (Q514589) (← links)
• Logics of temporal-epistemic actions (Q516250) (← 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)
• Predicate change. A study on the conservativity of conceptual change (Q830397) (← 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)
• Relativized common knowledge for dynamic epistemic logic (Q898782) (← 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)