Aldo Antonelli

Publication Activity (10 Years)

Years Active: 2000-2017
Publications (10 Years): 1

Top Topics

Constraint Databases

Guarded Fragment

Top Venues

J. Philos. Log.

Publications

Aldo Antonelli
Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment). J. Philos. Log. 46 (3) (2017)
Aldo Antonelli, Alasdair Urquhart, Richard Zach
Mathematical Methods in Philosophy Editors' Introduction. Rev. Symb. Log. 1 (2) (2008)
Aldo Antonelli, Robert May
Program. Notre Dame J. Formal Log. 46 (1) (2005)
Aldo Antonelli, Robert May
Frege's New Science. Notre Dame J. Formal Log. 41 (3) (2000)