Search the dblp DataBase

Publications of Author

1. Renate A. Schmidt, Dmitry Tishkovsky
   Combining Dynamic Logic with Doxastic Modal Logics. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2002, pp:371-392 [Conf]
   
2. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
   From topology to metric: modal logic and quantification in metric spaces. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2006, pp:429-448 [Conf]
   
3. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
   'Closer' representation and reasoning. [Citation Graph (0, 0)][DBLP]
   Description Logics, 2005, pp:- [Conf]
   
4. Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
   Automated Reasoning About Metric and Topology. [Citation Graph (0, 0)][DBLP]
   JELIA, 2006, pp:490-493 [Conf]
   
5. Renate A. Schmidt, Dmitry Tishkovsky
   Multi-agent Logics of Dynamic Belief and Knowledge. [Citation Graph (0, 0)][DBLP]
   JELIA, 2002, pp:38-49 [Conf]
   
6. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
   Comparative Similarity, Tree Automata, and Diophantine Equations. [Citation Graph (0, 0)][DBLP]
   LPAR, 2005, pp:651-665 [Conf]
   
7. Renate A. Schmidt, Dmitry Tishkovsky
   Multi-Agent Dynamic Logics with Informational Test. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2004, v:42, n:1-3, pp:5-36 [Journal]
   
8. Renate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt
   Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2004, v:78, n:3, pp:381-415 [Journal]
   
9. Renate A. Schmidt, Dmitry Tishkovsky
   Using Tableau to Decide Expressive Description Logics with Role Negation. [Citation Graph (0, 0)][DBLP]
   ISWC/ASWC, 2007, pp:438-451 [Conf]
   
10. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
    A Logic for Concepts and Similarity. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2007, v:17, n:3, pp:415-452 [Journal]
    
11. 
    A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. [Citation Graph (, )][DBLP]
    
    
12. 
    Tableau Calculi for CSL\mathcal{CSL} over minspaces. [Citation Graph (, )][DBLP]
    
    
13. 
    Deciding ALBO with Tableau. [Citation Graph (, )][DBLP]
    
    
14. 
    Automated Synthesis of Tableau Calculi. [Citation Graph (, )][DBLP]
    
    
15. 
    A Tableau Method for Checking Rule Admissibility in S4. [Citation Graph (, )][DBLP]