zbMATH — the first resource for mathematics

An epistemic separation logic. (English) Zbl 06484975
Paiva, Valeria (ed.) et al., Logic, language, information, and computation. 22nd international workshop, WoLLIC 2015, Bloomington, IN, USA, July 20–23, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-47708-3/pbk; 978-3-662-47709-0/ebook). Lecture Notes in Computer Science 9160, 156-173 (2015).
Summary: We define an Epistemic Separation Logic, called ESL, that allows us to consider epistemic possible worlds as resources that can be shared or separated, in the spirit of separation logics. After studying the semantics and the expressiveness of this logic, we provide a tableau calculus with labels and resource contraints that is sound and complete and then also study countermodel extraction.
For the entire collection see [Zbl 1319.03010].

03B70 Logic in computer science
Full Text: DOI