1. Basics of Second-Order Predicate Logic;THE LOGICAL FORESIGHT - Journal for Logic and Science;2023-12-12
2. Semantical investigations on non-classical logics with recovery operators: negation;Logic Journal of the IGPL;2023-08-29
3. HYBRID PARTIAL TYPE THEORY;The Journal of Symbolic Logic;2023-05-29
4. Superposition for Higher-Order Logic;Journal of Automated Reasoning;2023-01-21
5. Gödel’s Proof of Existence of God Revisited;Studies in Systems, Decision and Control;2023