A separation logic with histories of epistemic actions as resources

DOI10.1007/978-3-031-39784-4_10OpenAlexW4386208149MaRDI QIDQ6118687

Marta Gawek, Hans P. van Ditmarsch, Didier Galmiche

Publication date: 28 February 2024

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

Full work available at URL: https://doi.org/10.1007/978-3-031-39784-4_10

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Epistemic protocols for dynamic gossip
• Logics of communication and change
• Dynamic epistemic logic
• Merging frameworks for interaction
• The semantics and proof theory of the logic of bunched implications
• The undecidability of iterated modal relativization
• Arbitrary public announcement logic with memory
• Expressivity and completeness for public update logics via reduction axioms
• A modal separation logic for resource dynamics
• Connecting dynamic epistemic and temporal epistemic logics
• BI as an assertion language for mutable data structures
• A substructural epistemic resource logic: theory and modelling applications
• Arbitrary Action Model Logic and Action Model Synthesis
• A public announcement separation logic
• Epistemic planning: perspectives on the special issue
• An epistemic separation logic with action models