Reuben N. S. Rowe | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Liron Cohen
14 publications
Simon Docherty
5 publications

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...

0 Simon Docherty, et al. ∙

research

∙ 02/02/2018

Infinitary and Cyclic Proof Systems for Transitive Closure Logic

We formulate an infinitary proof system for transitive closure logic, wh...

0 Liron Cohen, et al. ∙