![](/img/cover-not-exists.png)
Complexity and expressivity of propositional dynamic logics with finitely many variables
Rybakov, Mikhail, Shkatov, DmitryVolume:
26
Language:
english
Journal:
Logic Journal of the IGPL
DOI:
10.1093/jigpal/jzy014
Date:
September, 2018
File:
PDF, 344 KB
english, 2018