Skip to Main content Skip to Navigation
Journal articles

A substructural epistemic resource logic: theory and modelling applications

Abstract : We present a substructural epistemic logic, 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 --- we introduce BI and its resource semantics at some length --- with epistemic agency. We illustrate the use of the logic in systems modelling by discussing some examples about access control, including semaphores, using resource tokens. We also give a labelled tableaux calculus and establish soundness and completeness with respect to the resource semantics.
Document type :
Journal articles
Complete list of metadatas

https://hal.univ-lorraine.fr/hal-02980658
Contributor : Didier Galmiche <>
Submitted on : Tuesday, October 27, 2020 - 3:41:29 PM
Last modification on : Thursday, October 29, 2020 - 3:30:32 AM

Links full text

Identifiers

Collections

Citation

Didier Galmiche, Pierre Kimmel, David Pym. A substructural epistemic resource logic: theory and modelling applications. Journal of Logic and Computation, Oxford University Press (OUP), 2019, 29 (8), pp.1251-1287. ⟨10.1093/logcom/exz024⟩. ⟨hal-02980658⟩

Share

Metrics

Record views

14