A substructural epistemic resource logic

DOI10.1007/978-3-662-54069-5_9MaRDI QIDQ5224495zbMATH OpenOpenAlexFDO

Authors Didier Galmiche, Pierre Kimmel, David Pym

Publication date 24 July 2019

Published in Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://discovery.ucl.ac.uk/id/eprint/1550389/

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• A substructural epistemic resource logic: theory and modelling applications
• A modal separation logic for resource dynamics
• Substructural epistemic logics
• An epistemic separation logic
• Information, awareness and substructural logics

Cites work

• A calculus and logic of bunched resources and processes
• A discipline of mathematical systems modelling
• A logic of separating modalities
• A modal separation logic for resource dynamics
• A substructural epistemic resource logic
• A substructural logic for layered graphs
• An epistemic separation logic
• BI as an assertion language for mutable data structures
• Epistemic Actions as Resources
• Handbook of epistemic logic
• Intuitionistic layered graph logic
• Layered graph logic as an assertion language for access control policy models
• Modeling adversaries in a logic for security protocol analysis
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Resources, concurrency, and local reasoning
• The formal strong completeness of partial monoidal Boolean BI
• The Logic of Bunched Implications
• The semantics of BI and resource tableaux

Cited in

(7)

• A stone-type duality theorem for separation logic via its underlying bunched logics
• An epistemic separation logic
• A substructural modal logic of utility
• scientific article; zbMATH DE number 2051381 (Why is no real title available?)
• A substructural epistemic resource logic: theory and modelling applications
• A substructural epistemic resource logic
• Abstract hidden Markov models: a monadic account of quantitative information flow

This page was built for publication: A substructural epistemic resource logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5224495)