The undecidability of iterated modal relativization

DOI10.1007/s11225-005-3612-9zbMath1088.03016OpenAlexW1965188950MaRDI QIDQ2574887

Joseph S. Miller, Lawrence S. Moss

Publication date: 2 December 2005

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-005-3612-9

zbMATH Keywords

undecidabilitymodal logicdynamic epistemic logiciterated relativization

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Decidability of theories and sets of sentences (03B25)

Related Items (26)

Epistemic planning for single- and multi-agent systems ⋮ Logics of Rational Interaction ⋮ Dynamic Epistemic Logic and Temporal Modality ⋮ The undecidability of quantified announcements ⋮ Computation as social agency: what, how and who ⋮ Logics of communication and change ⋮ To be announced ⋮ A separation logic with histories of epistemic actions as resources ⋮ Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard ⋮ Refinement modal logic ⋮ On axiomatizations of public announcement logic ⋮ Hidden protocols: modifying our expectations in an evolving world ⋮ Implicit and explicit stances in logic ⋮ ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ ⋮ A logic for diffusion in social networks ⋮ Opaque updates ⋮ True lies ⋮ On Axiomatizations of PAL ⋮ Two Logical Faces of Belief Revision ⋮ The case of the hidden hand ⋮ Dynamic logic for belief revision ⋮ Dynamic epistemic logic with branching temporal structures ⋮ Merging frameworks for interaction ⋮ Dynamic Epistemic Logics ⋮ Logic and Game Theory ⋮ Backtracking games and inflationary fixed points

Cites Work

• Orderings for term-rewriting systems
• The decision problems about the periodic solutions of the domino problems
• Reasoning about information change
• Logics for epistemic programs
• Logics of public communications
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• On nonmonotone inductive definability
• Automata, Languages and Programming
• The undecidability of the domino problem
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The undecidability of iterated modal relativization