( en | de | ru )

 

Disambiguation of "Tishkovsky, Dmitry"

Author of the publication

copydeleteadd this publication to your clipboard
From topology to metric: modal logic and quantification in metric spaces.

, , , and . Advances in Modal Logic, page 429-448. College Publications, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dmitry Sveshnikov

Dmitry Suslov

Dmitry Varentsov

Dmitry Chigrin

Dmitry Shvedov

 

Other publications of authors with the same name

Tableau Calculi for CSLCSL over minspaces., , , and . CSL, volume 6247 of Lecture Notes in Computer Science, page 52-66. Springer, (2010)Combining Dynamic Logic with Doxastic Modal Logics., and . Advances in Modal Logic, page 371-392. King's College Publications, (2002)From topology to metric: modal logic and quantification in metric spaces., , , and . Advances in Modal Logic, page 429-448. College Publications, (2006)Deciding ALBO with Tableau., and . Description Logics, volume 250 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)Using tableau to decide description logics with full role negation and identity., and . ACM Trans. Comput. Log., 15 (1): 7:1-7:31 (2014)Automated Synthesis of Tableau Calculi., and . TABLEAUX, volume 5607 of Lecture Notes in Computer Science, page 310-324. Springer, (2009)Using Tableau to Decide Expressive Description Logics with Role Negation, and . (2008)Refinement in the Tableau Synthesis Framework, and . CoRR, (2013)Multi-Agent Dynamic Logics with Informational Test., and . Ann. Math. Artif. Intell., 42 (1-3): 5-36 (2004)A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments., and . IJCAR, volume 5195 of Lecture Notes in Computer Science, page 194-209. Springer, (2008)