An Epistemic Separation Logic with Action Models - Université de Lorraine Access content directly
Conference Papers Year : 2021

An Epistemic Separation Logic with Action Models

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.
No file

Dates and versions

hal-03563669 , version 1 (09-02-2022)

Identifiers

  • HAL Id : hal-03563669 , version 1

Cite

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⟩
43 View
0 Download

Share

Gmail Facebook X LinkedIn More