A Proof of Standard Completeness for Esteva and Godo's Logic MTL Sándor JeneiFranco Montagna OriginalPaper Pages: 183 - 192
Loosely Guarded Fragment of First-Order Logic has the Finite Model Property Ian Hodkinson OriginalPaper Pages: 205 - 240
Gregory J. Chaitin, The Unknowable, Springer-Verlag, Singapore 1999 Greg O'Keefe Instructions for Authors Pages: 299 - 302