Arbitrary arrow update logic with common knowledge is neither RE nor co-RE

MaRDI QIDQ3384080zbMATH OpenFDO

Authors Louwe B. Kuijer

Publication date 14 December 2021

Full work available at URL https://arxiv.org/abs/1707.08754, http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2017.27

Mathematics Subject Classification ID

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

Recommendations

• Arbitrary arrow update logic
• The undecidability of arbitrary arrow update logic
• Logics of communication and change
• The expressivity of update logics
• Undecidability for arbitrary public announcement logic

Cites work

• Arbitrary action model logic and action model synthesis
• Arbitrary arrow update logic
• Arrow update logic
• Fully arbitrary public announcements
• Group announcement logic
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Refinement modal logic
• The undecidability of quantified announcements
• Undecidability for arbitrary public announcement logic
• `Knowable' as `known after an announcement'

Cited in

(8)

• The undecidability of arbitrary arrow update logic
• scientific article; zbMATH DE number 7471709 (Why is no real title available?)
• To be announced
• Coalition and relativised group announcement logic
• Arrow update synthesis
• Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard
• Arbitrary arrow update logic
• Second-order propositional modal logic: expressiveness and completeness results

This page was built for publication: Arbitrary arrow update logic with common knowledge is neither RE nor co-RE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3384080)