A separation logic with histories of epistemic actions as resources - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

A separation logic with histories of epistemic actions as resources

Résumé

We propose a separation logic where resources are histories (sequences) of epistemic actions so that resource update means concatenation of histories and resource decomposition means splitting of histories. This separation logic, called AMHSL, allows us to reason about the past: does what is true now depend on what was true in the past, before certain actions were executed? We show that the multiplicative connectives can be eliminated from a logical language with also epistemic and action model modalities, if the horizon of epistemic actions is bounded.
Fichier non déposé

Dates et versions

hal-04404180 , version 1 (18-01-2024)

Identifiants

Citer

Hans Van Ditmarsch, Didier Galmiche, Marta Gawek. A separation logic with histories of epistemic actions as resources. 29th International Workshop on Logic, Language, Information, and Computation (WoLLIC 2023), Jul 2023, Halifax NS, Canada. pp.161-177, ⟨10.1007/978-3-031-39784-4_10⟩. ⟨hal-04404180⟩
21 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More