An Epistemic Separation Logic with Action Models - Université de Lorraine Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

An Epistemic Separation Logic with Action Models

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-03563669 , version 1

Citer

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⟩
45 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More