| 2010 | A CTL-Based Logic for Program Abstractions. Martin Lange, Markus Latte |
| 2010 | Application of Logic to Integer Sequences: A Survey. Johann A. Makowsky |
| 2010 | Decidability and Undecidability Results on the Modal Alexis Goyet, Masami Hagiya, Yoshinori Tanabe |
| 2010 | Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics. Marcelo Finger, Mauricio S. C. Hernandes |
| 2010 | Feasible Functions over Co-inductive Data. Ramyaa Ramyaa, Daniel Leivant |
| 2010 | Formal Lifetime Reliability Analysis Using Continuous Random Variables. Naeem Abbasi, Osman Hasan, Sofiène Tahar |
| 2010 | Foundations of Satisfiability Modulo Theories. Cesare Tinelli |
| 2010 | Generalising Conservativity. Richard Zuber |
| 2010 | Intersection Type Systems and Explicit Substitutions Calculi. Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine |
| 2010 | Interval Valued Fuzzy Coimplication. Renata Hax Sander Reiser, Benjamín R. C. Bedregal, Gesner Antonio Azevedo dos Reis |
| 2010 | Intuitionistic Logic and Computability Theory. Sebastiaan Terwijn |
| 2010 | Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings Anuj Dawar, Ruy J. G. B. de Queiroz |
| 2010 | Logical Form as a Determinant of Cognitive Processes. Michiel van Lambalgen |
| 2010 | Mechanisation of PDA and Grammar Equivalence for Context-Free Languages. Aditi Barthwal, Michael Norrish |
| 2010 | Modal Logics with Counting. Carlos Areces, Guillaume Hoffmann, Alexandre Denis |
| 2010 | On Anaphora and the Binding Principles in Categorial Grammar. Glyn Morrill, Oriol Valentín |
| 2010 | On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations. Flavio Ferrarotti, Sven Hartmann, Sebastian Link |
| 2010 | Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures. Daniele Nantes Sobrinho, Mauricio Ayala-Rincón |
| 2010 | Solving the Implication Problem for XML Functional Dependencies with Properties. Sven Hartmann, Sebastian Link, Thu Trinh |
| 2010 | The Two-Variable Fragment with Counting Revisited. Ian Pratt-Hartmann |
| 2010 | Verification of the Completeness of Unification Algorithms à la Robinson. Andréia B. Avelar, Flávio L. C. de Moura, André Luiz Galdino, Mauricio Ayala-Rincón |