research
∙
02/17/2023
Categorical Proof-Theoretic Semantics
In proof-theoretic semantics, model-theoretic validity is replaced by pr...
share
research
∙
02/09/2023
Pricing cyber-insurance for systems via maturity models
Risks associated with information technology systems present a complex m...
research
∙
03/03/2021
Provability in BI's Sequent Calculus is Decidable
The logic of Bunched Implications (BI) combines both additive and multip...
research
∙
10/31/2019
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra
Concurrent Kleene Algebra is an elegant tool for equational reasoning ab...
research
∙
09/16/2019
A Substructural Epistemic Resource Logic: Theory and Modelling Applications
We present a substructural epistemic logic, based on Boolean BI, in whic...
research
∙
10/09/2017