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.
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 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 |
Loading...
Loading...Loading...Loading...Archive Staff Only
 |
View Item |
