Dmitry Shkatov | DeepAI

Chat Image GeneratorImage Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Valentin Goranko
1 publication
Mikhail Rybakov
1 publication
Mai Ajspur
1 publication

research

∙ 10/05/2019

Complexity of finite-variable fragments of propositional modal logics of symmetric frames

While finite-variable fragments of the propositional modal logic S5–comp...

0 Mikhail Rybakov, et al. ∙

research

∙ 01/25/2012

Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge

We develop a conceptually clear, intuitive, and feasible decision proced...

0 Mai Ajspur, et al. ∙

Success!

An error occurred