prof. dr Ian Pratt-Hartmann

Publikacje


    2019
  1. Lidia Tendera, Wiesław Szwast, Ian Pratt-Hartmann, THE FLUTED FRAGMENT REVISITED, Journal of Symbolic Logic, 84(3) (2019), 1020-1048.
  2. Lidia Tendera, Ian Pratt-Hartmann, FLUTED FRAGMENT WITH TRANSITIVITY, 44th International Symposium on Mathematical Foundations of Computer Science August 26-30, 2019, Aachen (Germany), LIPIcs, MFCS 2019 (2019), 18:1-18:15.

    3. 2018
  3. Lidia Tendera, Emanuel Kieroński, Ian Pratt-Hartmann, TWO-VARIABLE LOGICS WITH COUNTING AND SEMANTIC CONSTRAINTS, w: SIGLOG Newsletter, 5(3) (2018), 22-43.

    4. 2017
  4. Lidia Tendera, Ian Pratt-Hartmann, Emanuel Kieroński, EQUIVALENCE CLOSURE IN THE TWO-VARIABLE GUARDED FRAGMENT, Journal of Logic and Computation, 27 (4) (2017), 999--1021.

    5. 2016
  5. Wiesław Szwast, Ian Pratt-Hartmann, Lidia Tendera, QUINE'S FLUTED FRAGMENT IS NON-ELEMENTARY, w: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - Septem (red. Jean-Marc Talbot and Laurent Regnier), 978-3-95977-022-4, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2016), 39:1--39:21.

    6. 2015
  6. Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev, SPATIAL REASONING WITH RCC8 AND CONNECTEDNESS CONSTRAINTS IN EUCLIDEAN SPACES, Artificial Intelligence, 217 (2015), 43--75.

    7. 2014
  7. Ian Pratt-Hartmann, LOGICS WITH COUNTING AND EQUIVALENCE, Proc. Annual IEEE Symposium on Logic in Computer Science, LICS, 29 (2014), Art. 76.
  8. Lidia Tendera, Ian Pratt-Hartmann, Jakub Michaliszyn, Emanuel Kieroński, TWO-VARIABLE FIRST-ORDER LOGIC WITH EQUIVALENCE CLOSURE, SIAM Journal on Computing, 43 (2014), 1012–1063.