scientific article

zbMath1483.03010arXiv1707.08754MaRDI QIDQ3384080

Louwe B. Kuijer

Publication date: 14 December 2021

Full work available at URL: https://arxiv.org/abs/1707.08754

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (5)

To be announced ⋮ Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard ⋮ Unnamed Item ⋮ Second-order propositional modal logic: expressiveness and completeness results ⋮ Coalition and relativised group announcement logic

Cites Work

• Unnamed Item
• Unnamed Item
• The undecidability of quantified announcements
• Arbitrary arrow update logic
• Refinement modal logic
• Group announcement logic
• ARROW UPDATE LOGIC
• ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
• Arbitrary Action Model Logic and Action Model Synthesis
• On Computable Numbers, with an Application to the Entscheidungsproblem

This page was built for publication: