ARROW UPDATE LOGIC
From MaRDI portal
Publication:3224046
DOI10.1017/S1755020311000189zbMath1252.03034MaRDI QIDQ3224046
Publication date: 29 March 2012
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Related Items (28)
Announcements to attentive agents ⋮ Sabotage Modal Logic: Some Model and Proof Theoretic Aspects ⋮ Dynamic coalition logic: granting and revoking dictatorial powers ⋮ Situated epistemic updates ⋮ Arbitrary arrow update logic ⋮ The modal logic of copy and remove ⋮ The undecidability of arbitrary arrow update logic ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ To be announced ⋮ Communication pattern logic: epistemic and topological views ⋮ Relativized common knowledge for dynamic epistemic logic ⋮ Logic of visibility in social networks ⋮ Reflecting on social influence in networks ⋮ A history based logic for dynamic preference updates ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Arrow update synthesis ⋮ Dynamics of lying ⋮ Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ Logics of temporal-epistemic actions ⋮ Introspection as an action in relational models ⋮ Recapturing dynamic logic of relation changers via bounded morphisms ⋮ Verification of dynamic bisimulation theorems in Coq ⋮ True lies ⋮ Rethinking epistemic logic with belief bases ⋮ Public announcements, public lies and recoveries ⋮ Copy and remove as dynamic operators
Cites Work
- Logics of communication and change
- The surprise examination in dynamic epistemic logic
- Dynamic epistemic logic
- Public and private communication are different: Results on relative expressivity
- Reasoning about information change
- Logics for epistemic programs
- Logics of public communications
- Changing Modalities
- Global and Local Graph Modifiers
This page was built for publication: ARROW UPDATE LOGIC
