Other


  1. Uncountable topological interpretations of provability logic (2015). B.Sc. Thesis. Supervisor: David Fernández-Duque.

​​​​​​​Articles


  1. Epsilon Calculus and Determinacy Hypotheses.
    Submitted.
  2. (with David Fernández-DuqueVerification Logic
    To appear in J. Logic Comput.
  3. Topological Completeness of the Transfinite Provability Logic. 
    Submitted.  [arXiv]
  4. (with Matthias BaazUnsound Inferences Make Proofs Shorter. 
    Submitted.  [arXiv] [pdf]
  5. (with Matthias BaazCut Elimination for Gödel Logic with an operator adding a constant.
    WoLLIC 23, (2016), 36-51.​
  6. Compactness in Infinitary Gödel Logic. 
    WoLLIC 23, (2016), 22-35.
  7. (with David Fernández-DuqueVerification Logic: an Arithmetical Interpretation for Negative Introspection. 
    AiML 11, (2016), 1-21.
  8. (with Matthias BaazTen Problems in Gödel Logic. 
    Soft Comput., 21 (2017), 149-152.  [pdf]
  9. (with Levent Ülkü) On the Maximization of Menu-Dependent Interval Orders. 
    Soc. Choice Welf., 48 (2017) 357-366.  [journal]
  10. (with David Fernández-Duque) Strong Completeness of Provability Logic for Ordinal Spaces.
    J. Symb. Logic, 82 (2017), 608-628.  ​[arXiv]​ [journal]