Below, you may find a collection of online preprints, separated into six categories.
Proof Theory. This includes work on dilators and Pi12-logic, finitary and infinitary proof systems, complexity, and cut elimination.
Recursion Theory.This includes work in Reverse Mathematics and generalized computability, including inductive definability, admissibility theory, and notions of recursive largeness for ordinals, such as second-order reflection.
Set Theory.This includes work on descriptive set theory, inner model theory, determinacy, large cardinals, and forcing.
Model Theory. This includes work involving completeness theorems, Löwenheim-Skolem theorems, Hanf numbers, and related notions.
Logic in Computer Science. This includes work on many-valued and modal logics, especially from the points of view of complexity and expressibility and of applications to artificial intelligence.
Other work.This includes all work not fitting into any of the categories above.
This is an extended version of the articles: A Gödel Calculus for Linear Temporal Logic (with Martin Diéguez, David Fernandez-Duque and Brett McLean), in Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR 2022); and Time and Gödel: Fuzzy Temporal Reasoning in PSPACE (with Martin Diéguez, David Fernandez-Duque and Brett McLean) in Proceedings of the Workshop on Logic, Language, Information, and Computation (WoLLIC 2022).
Noetherian Gödel Logics (with Jan Bydžovský and David Fernández-Duque). J. Log. Comp., 32 (2022), pp. 1487–1503.
This is an extended version of the article: A non-hyperarithmetical Gödel logic (with Jan Bydžovský and David Fernández-Duque), in Proceedings of the Conference on Logical Foundations of Computer Science (LFCS 2021).
Verification Logic (with David Fernández-Duque).
J. Log. Comp. 27 (2017), pp. 2451-2469.