: Existential Fixed-Point Logic, Universal Quantifiers, and Topoi.
: On Complete Problems, Relativizations and Logics for Complexity Classes.
: Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs.
: Ibn Sina on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic.
: Halting and Equivalence of Program Schemes in Models of Arbitrary Theories.
: Metrization Theorem for Space-Times: From Urysohn's Problem towards Physically Useful Constructive Mathematics.
: Decidability of the Class E by Maslov's Inverse Method.
Lawrence S. Moss
: Logics for Two Fragments beyond the Syllogistic Boundary.