Forgot your password?
scientific activity
structureeducational projectsperiodicalsstaffpress centercontacts
­ˇ˝˝ŕŔÚ | english

2005 year

On PSPACE-decidability in transitive modal logic. In: Advances in Modal Logic, Volume 5. R. Schmidt et al. (eds.). King"s College Publications, 2005, 269-287

Download (243 KB)

Authors: Shapirovsky I.


  © Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2021
About  |  Contacts  |  The old version of this site