Combining Dynamic Logic with Doxastic Modal Logics. - Renate A. Schmidt; Dmitry Tishkovsky (Advances in Modal Logic, 2002)

Multi-agent Logics of Dynamic Belief and Knowledge. - Renate A. Schmidt; Dmitry Tishkovsky (JELIA, 2002)

Multi-Agent Dynamic Logics with Informational Test. - Renate A. Schmidt; Dmitry Tishkovsky (Ann. Math. Artif. Intell., 2004)

Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic. - Renate A. Schmidt; Dmitry Tishkovsky; Ullrich Hustadt (Stud Logica, 2004)

'Closer' representation and reasoning. - Mikhail Sheremet; Dmitry Tishkovsky; Frank Wolter; Michael Zakharyaschev (Description Logics, 2005)

Comparative Similarity, Tree Automata, and Diophantine Equations. - Mikhail Sheremet; Dmitry Tishkovsky; Frank Wolter; Michael Zakharyaschev (LPAR, 2005)

From topology to metric: modal logic and quantification in metric spaces. - Mikhail Sheremet; Dmitry Tishkovsky; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2006)

Automated Reasoning About Metric and Topology. - Ullrich Hustadt; Dmitry Tishkovsky; Frank Wolter; Michael Zakharyaschev (JELIA, 2006)

Deciding ALBO with Tableau. - Renate A. Schmidt; Dmitry Tishkovsky (Description Logics, 2007)

Using Tableau to Decide Expressive Description Logics with Role Negation. - Renate A. Schmidt; Dmitry Tishkovsky (ISWC/ASWC, 2007)

A Logic for Concepts and Similarity. - Mikhail Sheremet; Dmitry Tishkovsky; Frank Wolter; Michael Zakharyaschev (J. Log. Comput., 2007)

A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. - Renate A. Schmidt; Dmitry Tishkovsky (IJCAR, 2008)

On combinations of propositional dynamic logic and doxastic modal logics. - Renate A. Schmidt; Dmitry Tishkovsky (J. Log. Lang. Inf., 2008)

A Tableau Method for Checking Rule Admissibility in S4. - Sergey Babenyshev; Vladimir V. Rybakov; Renate A. Schmidt; Dmitry Tishkovsky (M4M, 2009)

Tableau Calculi for CSL mathcal{CSL} over minspaces. - Régis Alenda; Nicola Olivetti; Camilla Schwind; Dmitry Tishkovsky (CSL, 2010)

METTEL textsc{Met hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine. - Dmitry Tishkovsky; Renate A. Schmidt; Mohammad Khodadadi (TABLEAUX, 2011)

Automated Synthesis of Tableau Calculi - Renate A. Schmidt; Dmitry Tishkovsky (Log. Methods Comput. Sci., 2011)

Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. - Stefan Minica; Mohammad Khodadadi; Renate A. Schmidt; Dmitry Tishkovsky (PAAR@IJCAR, 2012)

MetTeL2: Towards a Tableau Prover Generation Platform. - Dmitry Tishkovsky; Renate A. Schmidt; Mohammad Khodadadi (PAAR@IJCAR, 2012)

An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting. - Mohammad Khodadadi; Renate A. Schmidt; Dmitry Tishkovsky (Description Logics, 2012)

The Tableau Prover Generator MetTeL2. - Dmitry Tishkovsky; Renate A. Schmidt; Mohammad Khodadadi (JELIA, 2012)

Labelled Tableaux for Temporal Logic with Cardinality Constraints. - Clare Dixon; Boris Konev; Renate A. Schmidt; Dmitry Tishkovsky (SYNASC, 2012)

A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI. - Mohammad Khodadadi; Renate A. Schmidt; Dmitry Tishkovsky (Description Logics, 2013)

A Refined Tableau Calculus with Controlled Blocking for the Description Logic. - Mohammad Khodadadi; Renate A. Schmidt; Dmitry Tishkovsky (TABLEAUX, 2013)

Refinement in the Tableau Synthesis Framework - Dmitry Tishkovsky; Renate A. Schmidt (CoRR, 2013)

Satisfiability problem for modal logic with global counting operators coded in binary is NExpTime-complete. - Michal Zawidzki; Renate A. Schmidt; Dmitry Tishkovsky (Inf. Process. Lett., 2013)

Using tableau to decide description logics with full role negation and identity. - Renate A. Schmidt; Dmitry Tishkovsky (ACM Trans. Comput. Log., 2014)

Cooperating Proof Attempts. - Giles Reger; Dmitry Tishkovsky; Andrei Voronkov (CADE, 2015)

Rule Refinement for Semantic Tableau Calculi. - Dmitry Tishkovsky; Renate A. Schmidt (TABLEAUX, 2017)

Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools. - Yoni Zohar; Dmitry Tishkovsky; Renate A. Schmidt; Anna Zamansky (Description Logic, Theory Combination, and All That, 2019)