| 2006 | Proceedings of the 12th Workshop on Logic, Language, Information and Computation, WoLLIC 2005, Florianópolis, Santa Catarina, Brazil, July 19-22, 2005 Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt |
| 2005 | A Quantified Logic of Evidence. Melvin Fitting |
| 2005 | An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic. Sven Hartmann, Sebastian Link |
| 2005 | Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics. Itala M. Loffredo D'Ottaviano, Milton Augustinis De Castro |
| 2005 | Approximations of Modal Logic K. Guilherme de Souza Rabello, Marcelo Finger |
| 2005 | Choiceless Polynomial Time, Counting and the Cai-Fürer-Immerman Graphs: (Extended Abstract). Anuj Dawar, David Richerby, Benjamin Rossman |
| 2005 | Cut Elimination for a Simple Formulation of Grigori Mints |
| 2005 | Development Separation in Lambda-Calculus. Hongwei Xi |
| 2005 | Locality of Queries and Transformations. Leonid Libkin |
| 2005 | Lowness Properties and Approximations of the Jump. Santiago Figueira, André Nies, Frank Stephan |
| 2005 | Natural Deduction for Full S5 Modal Logic with Weak Normalization. Ana Teresa C. Martins, Lília Ramalho Martins |
| 2005 | Nonstandard Meromorphic Groups. Thomas Scanlon |
| 2005 | Preface. Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt |
| 2005 | Probabilistic Verification and Approximation. Richard Lassaigne, Sylvain Peyronnet |
| 2005 | Propositional Logic as a Propositional Fuzzy Logic. Benjamín René Callejas Bedregal, Anderson Paiva Cruz |
| 2005 | System BV is NP-complete. Ozan Kahramanogullari |
| 2005 | Tableau Systems for Some Paraconsistent Modal Logics. Casey McGinnis |
| 2005 | The Complexity of Random Ordered Structures. Joel H. Spencer, Katherine St. John |