HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

An Epistemic Separation Logic with Action Models

Hans van Ditmarsch 1 Didier Galmiche 2 Marta Gawek 2
1 CELLO - Computational Epistemic Logic in LOrraine
LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery
2 TYPES - Logic, Proof Theory and Programming
LORIA - FM - Department of Formal Methods
Abstract : In this paper we generalize the dynamic aspects of Public Announcement Separation Logic (PASL), by defining Epistemic Separation Logic with Action Models (ESLAM), in which we replace public announcements with action models, motivated by their ability to model factual change, and instances of a more nuanced, private communication.
Document type :
Conference papers
Complete list of metadata

https://hal.univ-lorraine.fr/hal-03563669
Contributor : Didier Galmiche Connect in order to contact the contributor
Submitted on : Wednesday, February 9, 2022 - 8:01:26 PM
Last modification on : Friday, March 25, 2022 - 12:18:03 PM

Identifiers

  • HAL Id : hal-03563669, version 1

Citation

Hans van Ditmarsch, Didier Galmiche, Marta Gawek. An Epistemic Separation Logic with Action Models. 9th Indian Conference on Logic and its Applications, ICLA 2021, Mar 2021, Chennai/online, India. ⟨hal-03563669⟩

Share

Metrics

Record views

19