Skip to Main content Skip to Navigation
Conference papers

An Epistemic Resource Logic based on Boolean BI

Abstract : In this work we present this epistemic resource logic ERL, based on Boolean BI, in which the epistemic modalities are parametrized on agents' local resources. The new modalities can be seen as generalizations of the usual epistemic modalities. The logic combines Boolean BI's resource semantics with epistemic agency. We discuss some examples about access control using resource tokens. Moreover We also study a labelled tableaux calculus and establish soundness and completeness w.r.t. the resource semantics.
Document type :
Conference papers
Complete list of metadatas

https://hal.univ-lorraine.fr/hal-02986789
Contributor : Didier Galmiche <>
Submitted on : Tuesday, November 3, 2020 - 11:44:40 AM
Last modification on : Thursday, November 5, 2020 - 3:33:04 AM

Identifiers

  • HAL Id : hal-02986789, version 1

Collections

Citation

Didier Galmiche, Pierre Kimmel, David Pym. An Epistemic Resource Logic based on Boolean BI. Int. Workshop Substructural Logics: Semantics, Proof Theory and Applications, SYSMICS 2018, 2018, Vienna, Austria. ⟨hal-02986789⟩

Share

Metrics

Record views

8