Some papers and preprints

  1. (with David Fernández-Duque) Verification Logic.
    J. Log. Comput., 2017. [link]
  2. (with Matthias Baaz) Unsound Inferences Make Proofs Shorter. [pdf]
  3. (with Matthias Baaz) Ten Problems in Gödel Logic.
    Soft Comput., 2017. [pdf]
  4. (with Levent Ülkü) On the Maximization of Menu-Dependent Interval Orders.
    S. Choice Welf., 2017. [link]
  5. (with David Fernández-Duque) Strong Completeness of Provability Logic for Ordinal Spaces.
    J. Symb. Logic, 2017. [arxiv]