research
∙
03/03/2021
Provability in BI's Sequent Calculus is Decidable
The logic of Bunched Implications (BI) combines both additive and multip...
share
research
∙
08/20/2020
A Logic to Reason about Dependence and Independence
Independence and conditional independence are fundamental concepts for r...
research
∙
07/15/2020
Partially Observable Concurrent Kleene Algebra
We introduce partially observable concurrent Kleene algebra (POCKA), an ...
research
∙
05/15/2019
A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic
We define a infinitary labelled sequent calculus for PDL, G3PDL^∞. A fin...
research
∙
10/09/2017