Galmiche, D;
Kimmel, P;
Pym, D;
(2017)
A substructural epistemic resource logic.
In:
Logic and Its Applications.
(pp. pp. 106-122).
Springer
Preview |
Text
Pym_GalmicheKimmelPym.pdf - Accepted Version Download (198kB) | 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 Bl’s resource semantics with epistemic agency. We give a labelled tableaux calculus and establish soundness and completeness with respect to the resource semantics. We illustrate the use of the logic by discussing an example of side-channels in access control using resource tokens.
| Type: | Proceedings paper |
|---|---|
| Title: | A substructural epistemic resource logic |
| Event: | Indian Conference on Logic and Its Applications |
| ISBN-13: | 9783662540688 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1007/978-3-662-54069-5_9 |
| Publisher version: | http://dx.doi.org/10.1007/978-3-662-54069-5_9 |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| 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/1550389 |
Archive Staff Only
 |
View Item |
