An epistemic separation logic with action models
From MaRDI portal
Publication:6117141
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
Related Items
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