UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

A Substructural Epistemic Resource Logic: Theory and Modelling Applications

Galmiche, D; Kimmel, P; Pym, D; (2019) A Substructural Epistemic Resource Logic: Theory and Modelling Applications. Journal of Logic and Computation , 29 (8) pp. 1251-1287. 10.1093/logcom/exz024. Green open access

[img]
Preview
Text
Pym_exz024.pdf - Published version

Download (1MB) | Preview

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.

Type: Article
Title: A Substructural Epistemic Resource Logic: Theory and Modelling Applications
Open access status: An open access version is available from UCL Discovery
DOI: 10.1093/logcom/exz024
Publisher version: https://doi.org/10.1093/logcom/exz024
Language: English
Additional information: This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted reuse, distribution, and reproduction in any medium, provided the original work is properly cited.
UCL classification: UCL
UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: https://discovery.ucl.ac.uk/id/eprint/10081084
Downloads since deposit
3Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item