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

A substructural epistemic resource logic

Galmiche, D; Kimmel, P; Pym, D; (2017) A substructural epistemic resource logic. In: Logic and Its Applications. (pp. pp. 106-122). Springer Green open access

[img]
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 > 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/1550389
Downloads since deposit
53Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item