<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10081084> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/AcademicArticle> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://purl.org/dc/terms/title> "A Substructural Epistemic Resource Logic: Theory and Modelling Applications"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://purl.org/ontology/bibo/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."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://purl.org/dc/terms/date> "2019-12" .
<https://discovery.ucl.ac.uk/id/document/1045485> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://purl.org/ontology/bibo/volume> "29" .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://purl.org/ontology/bibo/issue> "8" .
<https://discovery.ucl.ac.uk/id/org/ext-daeb92daf570917684167066877da0ed> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<https://discovery.ucl.ac.uk/id/org/ext-daeb92daf570917684167066877da0ed> <http://xmlns.com/foaf/0.1/name> "Oxford University Press (OUP)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://purl.org/dc/terms/publisher> <https://discovery.ucl.ac.uk/id/org/ext-daeb92daf570917684167066877da0ed> .
<https://discovery.ucl.ac.uk/id/publication/ext-a9e181113e6d9467526b02a21520b1dd> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Collection> .
<https://discovery.ucl.ac.uk/id/publication/ext-a9e181113e6d9467526b02a21520b1dd> <http://xmlns.com/foaf/0.1/name> "Journal of Logic and Computation"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/publication/ext-a9e181113e6d9467526b02a21520b1dd> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-7e4235c16856c34d90ccc300e2037c75> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10081084#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10081084#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-7e4235c16856c34d90ccc300e2037c75> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-8c574baf1ee46a34593c46a654485dd5> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10081084#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10081084#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-8c574baf1ee46a34593c46a654485dd5> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-d0b5e5ac60a2403762b265a201b6cbd6> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10081084#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10081084#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <https://discovery.ucl.ac.uk/id/person/ext-d0b5e5ac60a2403762b265a201b6cbd6> .
<https://discovery.ucl.ac.uk/id/person/ext-7e4235c16856c34d90ccc300e2037c75> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-7e4235c16856c34d90ccc300e2037c75> <http://xmlns.com/foaf/0.1/givenName> "D"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-7e4235c16856c34d90ccc300e2037c75> <http://xmlns.com/foaf/0.1/familyName> "Galmiche"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-7e4235c16856c34d90ccc300e2037c75> <http://xmlns.com/foaf/0.1/name> "D Galmiche"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-d0b5e5ac60a2403762b265a201b6cbd6> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-d0b5e5ac60a2403762b265a201b6cbd6> <http://xmlns.com/foaf/0.1/givenName> "D"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-d0b5e5ac60a2403762b265a201b6cbd6> <http://xmlns.com/foaf/0.1/familyName> "Pym"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-d0b5e5ac60a2403762b265a201b6cbd6> <http://xmlns.com/foaf/0.1/name> "D Pym"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-8c574baf1ee46a34593c46a654485dd5> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-8c574baf1ee46a34593c46a654485dd5> <http://xmlns.com/foaf/0.1/givenName> "P"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-8c574baf1ee46a34593c46a654485dd5> <http://xmlns.com/foaf/0.1/familyName> "Kimmel"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-8c574baf1ee46a34593c46a654485dd5> <http://xmlns.com/foaf/0.1/name> "P Kimmel"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ArticleEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1045485> .
<https://discovery.ucl.ac.uk/id/document/1045485> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1045485> <http://www.w3.org/2000/01/rdf-schema#label> "A Substructural Epistemic Resource Logic: Theory and Modelling Applications (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://purl.org/dc/elements/1.1/hasVersion> <https://discovery.ucl.ac.uk/id/document/1045485> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://eprints.org/ontology/hasPublished> <https://discovery.ucl.ac.uk/id/document/1045485> .
<https://discovery.ucl.ac.uk/id/document/1045485> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10081084/8/Pym_exz024.pdf> .
<https://discovery.ucl.ac.uk/id/document/1045485> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10081084/8/Pym_exz024.pdf> .
<https://discovery.ucl.ac.uk/id/eprint/10081084/8/Pym_exz024.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "Pym_exz024.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1045487> .
<https://discovery.ucl.ac.uk/id/document/1045487> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1045487> <http://www.w3.org/2000/01/rdf-schema#label> "A Substructural Epistemic Resource Logic: Theory and Modelling Applications (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1045487> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1045485> .
<https://discovery.ucl.ac.uk/id/document/1045487> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1045485> .
<https://discovery.ucl.ac.uk/id/document/1045487> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1045485> .
<https://discovery.ucl.ac.uk/id/document/1045487> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10081084/10/preview.jpg> .
<https://discovery.ucl.ac.uk/id/document/1045487> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10081084/10/preview.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10081084/10/preview.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "preview.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1045488> .
<https://discovery.ucl.ac.uk/id/document/1045488> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1045488> <http://www.w3.org/2000/01/rdf-schema#label> "A Substructural Epistemic Resource Logic: Theory and Modelling Applications (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1045488> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1045485> .
<https://discovery.ucl.ac.uk/id/document/1045488> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1045485> .
<https://discovery.ucl.ac.uk/id/document/1045488> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1045485> .
<https://discovery.ucl.ac.uk/id/document/1045488> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10081084/11/medium.jpg> .
<https://discovery.ucl.ac.uk/id/document/1045488> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10081084/11/medium.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10081084/11/medium.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "medium.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1045489> .
<https://discovery.ucl.ac.uk/id/document/1045489> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1045489> <http://www.w3.org/2000/01/rdf-schema#label> "A Substructural Epistemic Resource Logic: Theory and Modelling Applications (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1045489> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1045485> .
<https://discovery.ucl.ac.uk/id/document/1045489> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1045485> .
<https://discovery.ucl.ac.uk/id/document/1045489> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1045485> .
<https://discovery.ucl.ac.uk/id/document/1045489> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10081084/12/small.jpg> .
<https://discovery.ucl.ac.uk/id/document/1045489> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10081084/12/small.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10081084/12/small.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "small.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1045490> .
<https://discovery.ucl.ac.uk/id/document/1045490> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1045490> <http://www.w3.org/2000/01/rdf-schema#label> "A Substructural Epistemic Resource Logic: Theory and Modelling Applications (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1045490> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1045485> .
<https://discovery.ucl.ac.uk/id/document/1045490> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1045485> .
<https://discovery.ucl.ac.uk/id/document/1045490> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1045485> .
<https://discovery.ucl.ac.uk/id/document/1045490> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10081084/13/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/document/1045490> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10081084/13/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10081084/13/lightbox.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "lightbox.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1045492> .
<https://discovery.ucl.ac.uk/id/document/1045492> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1045492> <http://www.w3.org/2000/01/rdf-schema#label> "A Substructural Epistemic Resource Logic: Theory and Modelling Applications (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1045492> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1045485> .
<https://discovery.ucl.ac.uk/id/document/1045492> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1045485> .
<https://discovery.ucl.ac.uk/id/document/1045492> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/1045485> .
<https://discovery.ucl.ac.uk/id/document/1045492> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10081084/14/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/document/1045492> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10081084/14/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/eprint/10081084/14/indexcodes.txt> <http://www.w3.org/2000/01/rdf-schema#label> "indexcodes.txt"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10081084> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10081084/> .
<https://discovery.ucl.ac.uk/id/eprint/10081084/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10081084 \n\nA Substructural Epistemic Resource Logic: Theory and Modelling Applications\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/10081084/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/10081084/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10081084> .