9 found
Order:
  1. Temporalising Tableaux.Roman Kontchakov, Carsten Lutz, Frank Wolter & Michael Zakharyaschev - 2004 - Studia Logica 76 (1):91 - 134.
    As a remedy for the bad computational behaviour of first-order temporal logic (FOTL), it has recently been proposed to restrict the application of temporal operators to formulas with at most one free variable thereby obtaining so-called monodic fragments of FOTL. In this paper, we are concerned with constructing tableau algorithms for monodic fragments based on decidable fragments of first-order logic like the two-variable fragment or the guarded fragment. We present a general framework that shows how existing decision procedures for first-order (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  33
    Undecidability of First-Order Intuitionistic and Modal Logics with Two Variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
    We prove that the two-variable fragment of first-order intuitionistic logic is undecidable, even without constants and equality. We also show that the two-variable fragment of a quantified modal logic L with expanding first-order domains is undecidable whenever there is a Kripke frame for L with a point having infinitely many successors (such are, in particular, the first-order extensions of practically all standard modal logics like K, K4, GL, S4, S5, K4.1, S4.2, GL.3, etc.). For many quantified modal logics, including those (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  1
    The Price of Query Rewriting in Ontology-Based Data Access.Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii, Thomas Schwentick & Michael Zakharyaschev - 2014 - Artificial Intelligence 213:42-59.
  4. Spatial Reasoning withRCC8and Connectedness Constraints in Euclidean Spaces.Roman Kontchakov, Ian Pratt-Hartmann & Michael Zakharyaschev - 2014 - Artificial Intelligence 217:43-75.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Logic-Based Ontology Comparison and Module Extraction, with an Application to DL-Lite.Roman Kontchakov, Frank Wolter & Michael Zakharyaschev - 2010 - Artificial Intelligence 174 (15):1093-1141.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  1
    Topology, Connectedness, and Modal Logic.Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter & Michael Zakharyaschev - 2008 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 151-176.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  6
    First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2021 - Artificial Intelligence 299:103536.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Games for Query Inseparability of Description Logic Knowledge Bases.Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2016 - Artificial Intelligence 234:78-119.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  9
    Topology, Connectedness, and Modal Logic.Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter & Michael Zakharyaschev - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 151-176.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation