Ian Hodkinson | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Robert Goldblatt
2 publications

research

∙ 07/26/2022

Canonicity in power and modal logics of finite achronal width

We develop a method for showing that various modal logics that are valid...

0 Robert Goldblatt, et al. ∙

research

∙ 05/09/2019

Strong completeness of modal logics over 0-dimensional metric spaces

We prove strong completeness results for some modal logics with the univ...

0 Robert Goldblatt, et al. ∙