Modal logics of finite direct powers of $\omega$ have the finite
model property. arXiv: https://arxiv.org/abs/1903.04614, 2019.
Go to publication
Authors: Shapirovsky I. |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2024 About | Contacts | Ïðîòèâîäåéñòâèå êîððóïöèè |