Arbitrary arrow update logic
From MaRDI portal
Publication:343913
DOI10.1016/j.artint.2016.10.003zbMath1392.68396OpenAlexW2532619792MaRDI QIDQ343913
Louwe B. Kuijer, Wiebe van der Hoek, Barteld P. Kooi, Hans P. van Ditmarsch
Publication date: 29 November 2016
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2016.10.003
modal logicknowledge representationdynamic epistemic logicarbitrary announcement logicarbitrary arrow update logicarrow update logic
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)
Related Items (8)
Logics with group announcements and distributed knowledge: completeness and expressive power ⋮ The undecidability of arbitrary arrow update logic ⋮ To be announced ⋮ Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard ⋮ Unnamed Item ⋮ Arrow update synthesis ⋮ Coalition and relativised group announcement logic ⋮ Recapturing dynamic logic of relation changers via bounded morphisms
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Refinement modal logic
- Hidden protocols: modifying our expectations in an evolving world
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems
- Logics of communication and change
- Towards a theory of intention revision
- Group announcement logic
- Safety, liveness and fairness in temporal logic
- The undecidability of arbitrary arrow update logic
- Logics of public communications
- Quantifying Notes
- ARROW UPDATE LOGIC
- Knowledge and common knowledge in a distributed environment
- ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
- Dynamic Epistemic Logic and Knowledge Puzzles
- Three Partition Refinement Algorithms
- What one may come to know
- How Arbitrary Are Arbitrary Public Announcements?
- Arbitrary Action Model Logic and Action Model Synthesis
This page was built for publication: Arbitrary arrow update logic