Dmitry Tishkovsky

Available identifiers

zbMath Open tishkovsky.dmitryMaRDI QIDQ702099

List of research outcomes

Publication	Date of Publication	Type
Automating automated reasoning. The case of two generic automated reasoning tools	2020-06-04	Paper
On Algebraisation of Superintuitionistic Predicate Logics	2020-02-05	Paper
Rule refinement for semantic tableau calculi	2018-02-02	Paper
A Tableau Method for Checking Rule Admissibility in S4	2016-08-05	Paper
Cooperating Proof Attempts	2015-12-02	Paper
Using tableau to decide description logics with full role negation and identity	2014-04-16	Paper
A Refined Tableau Calculus with Controlled Blocking for the Description Logic $\mathcal{SHOI}$	2013-10-04	Paper
Satisfiability problem for modal logic with global counting operators coded in binary is \textsc{NExpTime}-complete	2013-03-21	Paper
$\textsc{Met\hspace{-.5pt}TeL}$ : A Tableau Prover with Logic-Independent Inference Engine	2011-07-01	Paper
Automated Synthesis of Tableau Calculi	2011-05-26	Paper
Tableau Calculi for $\mathcal{CSL}$ over minspaces	2010-09-03	Paper
Automated Synthesis of Tableau Calculi	2009-12-01	Paper
On combinations of propositional dynamic logic and doxastic modal logics	2009-03-24	Paper
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments	2008-11-27	Paper
Automated Reasoning About Metric and Topology	2008-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q3509066	2008-07-01	Paper
Comparative Similarity, Tree Automata, and Diophantine Equations	2008-05-27	Paper
A Logic for Concepts and Similarity	2007-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q5311047	2005-08-22	Paper
Interactions between knowledge, action and commitment within agent dynamic logic	2005-04-07	Paper
Multi-agent dynamic logics with informational test	2005-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4708905	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4443204	2002-01-01	Paper

Research outcomes over time

This page was built for person: Dmitry Tishkovsky