Ilya Shapirovsky | DeepAI

DeepAI

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

Featured Co-authors

Daniel Rogozin
3 publications

research

∙ 03/17/2023

On decidable extensions of Propositional Dynamic Logic with Converse

We describe a family of decidable propositional dynamic logics, where at...

0 Daniel Rogozin, et al. ∙

research

∙ 03/17/2023

Decidability of modal logics of non-k-colorable graphs

We consider the bimodal language, where the first modality is interprete...

0 Ilya Shapirovsky, et al. ∙