To be announced

DOI10.1016/j.ic.2023.105026arXiv2004.05802OpenAlexW4328107285MaRDI QIDQ6040661

Hans P. van Ditmarsch

Publication date: 19 May 2023

Published in: Information and Computation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard

Cites Work

• Global and Local Graph Modifiers
• THE MODAL LOGIC OF STEPWISE REMOVAL
• The expressivity of update logics
• Arbitrary Action Model Logic and Action Model Synthesis
• Modal Fixed-Point Logic and Changing Models
• Mechanizing Mathematical Reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• True lies
• The undecidability of quantified announcements
• Arbitrary arrow update logic
• Refinement modal logic
• On axiomatizations of public announcement logic
• Public announcement logic with distributed knowledge: expressivity, completeness and complexity
• Dynamics of lying
• The complexity of one-agent refinement modal logic
• The secret of my success
• Logics of communication and change
• Dynamic epistemic logic
• Group announcement logic
• Using branching time temporal logic to synthesize synchronization skeletons
• Cheating husbands and other stories: A case study of knowledge, action, and communication
• Axiomatising the logic of computer programming
• Agreeing to disagree
• Propositional dynamic logic of regular programs
• Reasoning about information change
• The Russian cards problem
• Game logic -- an overview
• Descriptions of game actions
• Undecidability of relation-changing modal logics
• APAL with memory Is better
• Topological reasoning and the logic of knowledge
• Truth-tracking by belief revision
• Verification of dynamic bisimulation theorems in Coq
• Positive announcements
• Announcement as effort on topological spaces
• Expressivity of some versions of APAL
• Arbitrary propositional network announcement logic
• Logics with group announcements and distributed knowledge: completeness and expressive power
• The logic of gossiping
• DEL-based epistemic planning: decidability and complexity
• Arrow update synthesis
• Coalition and relativised group announcement logic
• Decision procedures and expressiveness in the temporal logic of branching time
• Group announcement logic with distributed knowledge
• The dynamic logic of policies and contingent planning
• The modal logic of copy and remove
• The undecidability of arbitrary arrow update logic
• In so many possible worlds
• The undecidability of iterated modal relativization
• Refinement Quantified Logics of Knowledge
• Epistemic planning for single- and multi-agent systems
• Quantifying Notes
• Moving Arrows and Four Model Checking Results
• Quantified CTL: Expressiveness and Complexity
• Alternating-time temporal dynamic epistemic logic
• Dynamic epistemic logic in update logic
• Alternating-Time Temporal Announcement Logic
• An Alternative Logic for Knowability
• Games in Dynamic-Epistemic Logic
• Logical Dynamics of Information and Interaction
• ARROW UPDATE LOGIC
• An application of games to the completeness problem for formalized theories
• Topological Subset Space Models for Public Announcements
• Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic
• Beyond Knowing That: A New Generation of Epistemic Logics
• Reasoning about strategic voting in modal logic quickly becomes undecidable
• LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF
• Alternating-time temporal logic
• ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Simulation and Information: Quantifying over Epistemic Events
• Dynamic logic of preference upgrade
• Expressivity and completeness for public update logics via reduction axioms
• Distributed knowledge
• The modal logic of inequality
• Propositional quantifiers in modal logic1
• A Modal Logic for Coalitional Power in Games
• A logical analysis of some value concepts
• DEL-sequents for regression and epistemic planning
• Putting right the wording and the proof of the Truth Lemma forAPAL
• Modal logics of sabotage revisited
• Learning to act: qualitative learning of deterministic action models
• Satisfiability for relation-changing logics
• Relation-changing modal operators: Fig. 1.
• What one may come to know
• Changing Modalities

This page was built for publication: To be announced