The following pages link to Dmitry Tishkovsky (Q702099):
Displayed 23 items.
- Multi-agent dynamic logics with informational test (Q702100) (← links)
- On combinations of propositional dynamic logic and doxastic modal logics (Q1006486) (← links)
- Rule refinement for semantic tableau calculi (Q1694467) (← links)
- Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620) (← links)
- Satisfiability problem for modal logic with global counting operators coded in binary is \textsc{NExpTime}-complete (Q1941691) (← links)
- Automating automated reasoning. The case of two generic automated reasoning tools (Q2185494) (← links)
- A Refined Tableau Calculus with Controlled Blocking for the Description Logic $\mathcal{SHOI}$ (Q2851945) (← links)
- $\textsc{Met\hspace{-.5pt}TeL}$ : A Tableau Prover with Logic-Independent Inference Engine (Q3010372) (← links)
- A Tableau Method for Checking Rule Admissibility in S4 (Q3185759) (← links)
- Cooperating Proof Attempts (Q3454105) (← links)
- (Q3509066) (← links)
- Automated Reasoning About Metric and Topology (Q3533154) (← links)
- A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments (Q3541702) (← links)
- Tableau Calculi for $\mathcal{CSL}$ over minspaces (Q3586033) (← links)
- (Q4443204) (← links)
- (Q4708905) (← links)
- On Algebraisation of Superintuitionistic Predicate Logics (Q5214741) (← links)
- (Q5311047) (← links)
- Comparative Similarity, Tree Automata, and Diophantine Equations (Q5387872) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)
- A Logic for Concepts and Similarity (Q5431607) (← links)
- Automated Synthesis of Tableau Calculi (Q5892517) (← links)
- Automated Synthesis of Tableau Calculi (Q5902297) (← links)