An epistemic separation logic with action models

DOI10.1007/s10849-022-09372-zOpenAlexW4287283171MaRDI QIDQ6117141

Didier Galmiche, Hans P. van Ditmarsch, Marta Gawek

Publication date: 16 August 2023

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

Full work available at URL: https://doi.org/10.1007/s10849-022-09372-z

zbMATH Keywords

modal logicdynamic epistemic logicseparation logicknowledge and belief

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items

A separation logic with histories of epistemic actions as resources

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logics of communication and change
• Dynamic epistemic logic
• Cheating husbands and other stories: A case study of knowledge, action, and communication
• Agreeing to disagree
• Reasoning about information change
• Descriptions of game actions
• Defaults in update semantics
• The semantics and proof theory of the logic of bunched implications
• Nondeterministic Phase Semantics and the Undecidability of Boolean BI
• An Epistemic Separation Logic
• Epistemology Without Knowledge and Without Belief
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• The semantics of BI and resource tableaux
• Dynamic logic of preference upgrade
• The Logic of Bunched Implications
• A modal separation logic for resource dynamics
• Knowledge-based programs
• BI as an assertion language for mutable data structures
• A substructural epistemic resource logic: theory and modelling applications
• A public announcement separation logic