The undecidability of iterated modal relativization

DOI10.1007/S11225-005-3612-9zbMATH Open1088.03016OpenAlexW1965188950MaRDI QIDQ2574887FDOQ2574887

Authors: 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

Recommendations

• A guide to completeness and complexity for modal logics of knowledge and belief
• Undecidability for arbitrary public announcement logic
• scientific article; zbMATH DE number 7084828
• A Universally Defined Undecidable Unimodal Logic
• A system of dynamic modal logic

zbMATH Keywords

dynamic epistemic logicmodal logicundecidabilityiterated relativization

Mathematics Subject Classification ID

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

Cites Work

• Reasoning about information change
• The logic of public announcements, common knowledge, and private suspicions
• Logics for epistemic programs
• Title not available (Why is that?)
• Orderings for term-rewriting systems
• The undecidability of the domino problem
• Title not available (Why is that?)
• Logics of public communications
• Title not available (Why is that?)
• The decision problems about the periodic solutions of the domino problems
• On nonmonotone inductive definability
• Automata, Languages and Programming

Cited In (31)

• Modal Undefinability in Some Alternative Leibnizian Frames
• A formal analysis of Hollis' paradox
• Logic and Game Theory
• A logic for diffusion in social networks
• Implicit and explicit stances in logic
• To be announced
• Merging frameworks for interaction
• Dynamic epistemic logics
• Local fact change logic
• The undecidability of quantified announcements
• Computation as social agency: what, how and who
• Refinement modal logic
• On axiomatizations of public announcement logic
• Epistemic planning for single- and multi-agent systems
• An abstract look at the fixed-point theorem for provability logic
• Opaque updates
• Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard
• Dynamic epistemic logic and temporal modality
• `Knowable' as `known after an announcement'
• Logics of rational interaction
• Dynamic logic for belief revision
• Dynamic epistemic logic with branching temporal structures
• The undecidability of entailment and relevant implication
• The case of the hidden hand
• True lies
• Hidden protocols: modifying our expectations in an evolving world
• A separation logic with histories of epistemic actions as resources
• On axiomatizations of PAL
• Backtracking games and inflationary fixed points
• Two logical faces of belief revision
• Logics of communication and change

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

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