Publications

2010	1.  R. Alenda, N. Olivetti, C. Schwind, and D. Tishkovsky, Tableau calculi for CSL over min-spaces, 2010, Accepted at The Annual Conference of the European Association for Computer Science Logic (CSL). [Extended version:pdf] 2.  S. Babenyshev, V. Rybakov, R. A. Schmidt, and D. Tishkovsky, A Tableau Method for Checking Rule Admissibility in S4, 2010, Extended version of [8], in preparation. 3.  S. Babenyshev, V. Rybakov, R. A. Schmidt, and D. Tishkovsky, A Tableau Method for Checking Rule Admissibility in S4, Electronic Notes in Theoretical Computer Science, vol. 262, pp. 17-32, 2010. 4.  R. A. Schmidt and D. Tishkovsky, Automated Synthesis of Tableau Calculi, 2010, Invited paper to a special issue of Logical Methods in Computer Science, in preparation. 5.  R. A. Schmidt and D. Tishkovsky, Using Tableau to Decide Expressive Description Logics with Role Negation, 2010, Revising for submission to Artificial Intelligence.
2009	6.  R. A. Schmidt and D. Tishkovsky, Synthesising Tableau Decision Procedures. In: U. Hustadt (ed.): Proceedings of the 16th Workshop on Automated Reasoning (ARW'09), pp. 35-36, The University of Liverpool, April 21-22, 2009. 7.  S. Babenyshev, V. Rybakov, R. A. Schmidt, and D. Tishkovsky, A Tableau Method for Checking Rule Admissibility in S4. In: C. Lynch, P. Narendran, F. Baader, S. Ghilardi, M. Hermann, V. Sofronie-Stokkermans, and A. Tiwari (eds.): Proceedings of the 23d International Workshop on Unification (UNIF'09) and the International Workshop on Automated Deduction: Decidability, Complexity, Tractability (ADDCT'09), pp. 47-61, 2009. 8.  S. Babenyshev, V. Rybakov, R. A. Schmidt, and D. Tishkovsky, A Tableau Method for Checking Rule Admissibility in S4. In: T. Bolander and T. Braüner (eds.): Methods for Modalities-6 Workshop Proceedings (M4M'09), pp. 12-26, 2009. 9.  R. A. Schmidt and D. Tishkovsky, Automated Synthesis of Tableau Calculi. In: M. Giese and A. Waaler (eds.): Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'09), vol. 5607 of Lecture Notes in Artificial Intelligence, pp. 310-324, Springer, 2009. [Extended version:pdf]
2008	10.  R. A. Schmidt and D. Tishkovsky, On Combinations of Dynamic Logic and Doxastic Modal Logics, Journal of Logic, Language and Information, vol. 17(1), pp. 109-129, January, 2008. 11.  R. A. Schmidt and D. Tishkovsky, A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. In: A. Armando, P. Baumgartner, and G. Dowek (eds.): Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR'08), vol. 5195 of Lecture Notes in Computer Science, pp. 194-209, Springer, 2008.
2007	12.  R. A. Schmidt and D. Tishkovsky, Analysis of Blocking Mechanisms for Description Logics. In: Proceedings of the 14th Workshop on Automated Reasoning (ARW'07), pp. 51-52, Imperial College of Science, Technology and Medicine, London, April 19-20, 2007. 13.  R. A. Schmidt and D. Tishkovsky, Deciding ALBO with Tableau. In: D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, S. Tessaris, and A.-Y. Turhan (eds.): Proceedings of the 2007 International Workshop on Description Logics (DL'07), pp. 135-146, 2007. 14.  R. A. Schmidt and D. Tishkovsky, Using Tableau to Decide Expressive Description Logics with Role Negation. In: K. Aberer, K.-S. Choi, N. Noy, D. Allemang, K.-I. Lee, L. Nixon, J. Golbeck, P. Mika, D. Maynard, R. Mizoguchi, G. Schreiber, and P. Cudré-Mauroux (eds.): Proceedings of the 6th International Semantic Web Conference and the 2nd Asian Semantic Web Conference (ISWC'07), vol. 4825 of Lecture Notes in Computer Science, pp. 438-451, Springer, 2007. 15.  R. A. Schmidt and D. Tishkovsky, Using Tableau to Decide Expressive Description Logics with Role Negation. Preprint  CSPP-42, University of Manchester, 2007. 16.  M. Sheremet, D. Tishkovsky, F. Wolter, and M. Zakharyaschev, A Logic for Concepts and Similarity, Journal of Logic and Computation, vol. 17(3), pp. 415-452, 2007. [ps,ps.gz]
2006	17.  U. Hustadt, D. Tishkovsky, F. Wolter, and M. Zakharyaschev, Automated reasoning about metric and topology (System description). In: M. Fisher, W. van der Hoek, B. Konev, and A. Lisitsa (eds.): Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA'06), vol. 4160 of Lecture Notes in Artificial Intelligence, pp. 490-493, Springer, 2006. [ps,pdf,ps.gz] 18.  M. Sheremet, D. Tishkovsky, F. Wolter, and M. Zakharyaschev, From topology to metric: modal logic and quantification in metric spaces. In: G. Governatori, I. Hodkinson, and Y. Venema (eds.): Advances in Modal Logic, Volume 6, pp. 429-448, College Publications, 2006. [ps,ps.gz]
2005	19.  M. Sheremet, D. Tishkovsky, F. Wolter, and M. Zakharyaschev, `Closer' Representation and Reasoning. In: Proceedings of the 2005 International Workshop on Description Logics (DL'05), pp. 25-36, 2005. [ps,pdf,ps.gz] 20.  M. Sheremet, D. Tishkovsky, F. Wolter, and M. Zakharyaschev, Comparative similarity, tree automata, and Diophantine equations. In: G. Sutcliffe and A. Voronkov (eds.): Proceedings of the 12th International Conference on Logic Programming and Automated Reasoning (LPAR'05), vol. 3835 of Lecture Notes in Artificial Intelligence, pp. 651-665, Springer, 2005.
2004	21.  R. A. Schmidt, D. Tishkovsky, and U. Hustadt, Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic, Studia Logica, vol. 78(3), pp. 381-415, December, 2004. 22.  U. Hustadt, D. Tishkovsky, and F. Wolter, Logics of metric spaces with tessellation operator. In: Abstracts of TARSKI Workshop'04 of EU COST Action 274, 2004. 23.  R. A. Schmidt and D. Tishkovsky, Multi-Agent Dynamic Logics with Informational Test, Annals of Mathematics and Artificial Intelligence, vol. 42(1--3), pp. 5-36, 2004, Special issue on Computational Logic in Multi-Agent Systems.
2003	24.  R. A. Schmidt and D. Tishkovsky, An Agent Logic Tableau System. In: Proceedings of the 10th Workshop on Automated Reasoning (ARW'03), University of Liverpool, April 15-16, 2003. 25.  R. A. Schmidt and D. Tishkovsky, Combining Dynamic Logic with Doxastic Modal Logics. In: P. Balbiani, N.-Y. Suzuki, F. Wolter, and M. Zakharyaschev (eds.): Advances in Modal Logic, Volume 4, pp. 371-392, King's College London Publ., 2003. 26.  R. A. Schmidt and D. Tishkovsky, Combining Dynamic Logic with Doxastic Modal Logics. Preprint  CSPP-23, University of Manchester, 2003. 27.  R. A. Schmidt, D. Tishkovsky, and U. Hustadt, Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic. Preprint  CSPP-27, University of Manchester, 2003.
2002	28.  R. A. Schmidt and D. Tishkovsky, On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge. In: Proceedings of the 9th Workshop on Automated Reasoning (ARW'02), Imperial College of Science, Technology and Medicine, London, April 3-5, 2002. 29.  R. A. Schmidt and D. Tishkovsky, Logics with commuting action and informational modalities. In: Advances in Modal Logic Conference Proceedings (AiML'02), pp. 91-109, Toulouse, France, 30 September-2 October, 2002. 30.  R. A. Schmidt and D. Tishkovsky, Multi-Agent Logics of Dynamic Belief and Knowledge. In: S. Greco, S. Flesca, N. Leone, and G. Ianni (eds.): Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02), vol. 2424 of Lecture Notes in Artificial Intelligence, pp. 38-49, Springer, 2002. 31.  R. A. Schmidt and D. Tishkovsky, On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge, Bulletin of the Section of Logic, vol. 31(1), pp. 27-36, 2002. [pdf,ps.gz]
2001	32.  D. E. Tishkovsky, On Beth Property in Extensions of Lukasiewicz Logics, Siberian Mathematical Journal, vol. 43(1), pp. 147-150, December, 2001. 33.  R. A. Schmidt and D. Tishkovsky, A Decidable Dynamic Logic for Agents with Motivational Attitudes. In: Methods for Modalities-2 Workshop Proceedings (M4M'01), Amsterdam, November, 2001, 12 pages. [pdf,ps.gz] [Extended version:pdf,ps.gz] 34.  R. A. Schmidt and D. Tishkovsky, An extension of *-free PDL for agent-based theories. In: Logic Colloquium'01 (the 2001 ASL European Summer Meeting). Book of abstracts of Invited and Contributed Talks, Vienna University of Technology, Vienna, Austria, August 6-11, 2001. 35.  R. A. Schmidt and D. Tishkovsky, On Calculi and Kripke Semantics for Multi-agent Systems within the KARO framework. In: R. Gor\'e, A. Leitsch, and T. Nipkow (eds.): Short papers of the 1st International Joint Conference on Automated Reasoning (IJCAR'01), pp. 150-159, University of Siena, Italy, June 18-23, 2001. 36.  R. A. Schmidt and D. Tishkovsky, On Calculi and Kripke Semantics for Multi-agent Systems within the KARO framework. In: Proceedings of the 8th Workshop on Automated Reasoning (ARW'01), pp. 30, The University of York, UK, March 22-23, 2001. 37.  D. E. Tishkovsky, Algebraic Equivalents of Some Properties of Superintuitionistic Predicate Logics, Algebra and Logic, vol. 40(2), pp. 218-242, 2001.
2000	38.  D. Tishkovsky, On algebraic counterparts of some properties of superintuitionistic predicate and intuitionistic polymodal logics. In: Logic Colloquium'00 (the 2000 ASL European Summer Meeting). Book of abstracts of Invited and Contributed Talks, pp. 248, Paris, France, July 23-31, 2000.
1999	39.  D. Tishkovsky, Interpolation and Beth Properties of Superintuitionistic Predicate and Intuitionistic Polymodal Logics. In: Logic Colloquium'99 (the 1999 ASL European Summer Meeting). Book of abstracts of Invited and Contributed Talks, pp. 64, Utrecht, Netherlands, August 1-6, 1999. 40.  D. E. Tishkovsky, Algebraization of superintuitionistic predicate logics. PhD thesis, Institute of Mathematics of Siberian Branch of Russian Academy of Science, Novosibirsk State University, 1999, 101 pages. 41.  D. E. Tishkovsky, An autoreview of the PhD thesis "Algebraization of superintuitionistic predicate logics". Technical Report, Institute of Mathematics of Siberian Branch of Russian Academy of Science, Novosibirsk State University, 1999, 18 pages. 42.  D. E. Tishkovsky, On algebraic semantics for superintuitionistic predicate logics, Algebra and Logic, vol. 38(1), pp. 36-50, 1999.
1998	43.  D. Tishkovsky, On Algebraic Counterpart of Beth Property of Superintuitionistic Predicate Logics. In: Logic Colloquium'98 (the 1998 ASL European Summer Meeting). Book of abstracts of Invited and Contributed Talks, pp. 106, Prague, Czech Republic, August 9-15, 1998. 44.  D. E. Tishkovsky, Algebraic equivalents of some properties of superintuitionistic predicate logics. Technical Report  38, Novosibirsk State University, 1998, 15 pages. 45.  D. E. Tishkovsky, Interpolation property and superintuitionistic predicate logics, Siberian Mathematical Journal, vol. 39(1), pp. 172-180, 1998.
1996	46.  D. E. Tishkovsky, On algebraic semantics for superintuitionistic first-order logics. In: Minisemester on Logic, Algebra and Computer Science (Helena Rasiowa in memoriam), Abstracts, pp. 32, Warsaw, Poland, December 2-22, 1996. 47.  D. E. Tishkovsky, Constructing total algebraic semantics for superintuitionistic first-order logics. In: Abstracts of the Conference on Universal Algebra and Lattice Theory (UALT'96), pp. 59, Szeged, Hungary, July 15-19, 1996.
1995	48.  D. E. Tishkovsky, Some Superintuitionistic Predicate Logics without Interpolation Property. In: Second Workshop on Non-Standard Logics and Logical Aspects of Computer Science, Abstracts of Papers, pp. 80, Irkutsk, Russia, June 15-98, 1995.