Showing 1 - 5 results of 5 for search 'Pratt−Hartmann, I', query time: 0.95s Refine Results
  1. 1
    A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics

    A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics by Kazakov, Y, Pratt−Hartmann, I

    Published 2015
    Conference item
  2. 2
    A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics

    A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics by Kazakov, Y, Pratt−Hartmann, I

    Published 2009
    Report
  3. 3
    On the Computability of Region−Based Euclidean Logics

    On the Computability of Region−Based Euclidean Logics by Nenov, Y, Pratt−Hartmann, I

    Published 2010
    Conference item
  4. 4
    Topological Logics with Connectedness over Euclidean Spaces

    Topological Logics with Connectedness over Euclidean Spaces by Kontchakov, R, Nenov, Y, Pratt−Hartmann, I, Zakharyaschev, M

    Published 2013
    Journal article
  5. 5
    On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces

    On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces by Kontchakov, R, Nenov, Y, Pratt−Hartmann, I, Zakharyaschev, M

    Published 2011
    Conference item

Search Tools: