D.I. Saveliev and I.B. Shapirovsky. On modal logic of submodels. In 11th Advances in Modal Logic,
Short Papers, pages 115–119, 2016.
| Authors: Saveliev D.I., Shapirovsky I. |
 |
|
||||||||||||||||||||||||||||||||||
| ðóññêèé | english |
|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2024
About | Contacts | Ïðîòèâîäåéñòâèå êîððóïöèè