Dynamics of lying

DOI10.1007/S11229-013-0275-3zbMath1310.03031OpenAlexW2087700841MaRDI QIDQ484939

Hans P. van Ditmarsch

Publication date: 8 January 2015

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-013-0275-3

zbMATH Keywords

modal logicdynamicsmulti-agent systemslying

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (6)

Belief, knowledge, lies and other utterances in an algebra for space and extrusion ⋮ To be announced ⋮ The logic of secrets and the interpolation rule ⋮ Arrow update synthesis ⋮ True lies ⋮ Public announcements, public lies and recoveries

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Exploring the tractability border in epistemic tasks
• What will they say? -- Public announcement games
• Prolegomena to dynamic logic for belief revision
• A dynamic-epistemic hybrid logic for intentions and information changes in strategic games
• A guide to completeness and complexity for modal logics of knowledge and belief
• Reasoning about information change
• Credulity, lies, and costly talk
• Epistemology Without Knowledge and Without Belief
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• ARROW UPDATE LOGIC
• A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames
• Consistency Preservation and Crazy Formulas in BMS
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic logic for belief revision
• Expressivity and completeness for public update logics via reduction axioms
• On the logic of theory change: Partial meet contraction and revision functions
• A Logical Account of Lying
• Intelligent Agents and Multi-Agent Systems

This page was built for publication: Dynamics of lying