Richard Zach | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Samara Burns
1 publication

research

∙ 05/23/2018

Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC

Priest has provided a simple tableau calculus for Chellas's conditional ...

0 Richard Zach, et al. ∙

research

∙ 05/23/2018

Relational Hypersequents for Modal Logics

We investigate a new approach to modal hypersequents, called relational ...

0 Samara Burns, et al. ∙

Success!

An error occurred