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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dmitry Tishkovsky