| 2007 | Cut Elimination in Deduction Modulo by Abstract Completion. | Guillaume Burel, Claude Kirchner |
| 2007 | Reasoning About Sequences of Memory States. | Rmi Brochenin, Stphane Demri, tienne Lozes |
| 2007 | On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2007 | Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata! | Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier |
| 2007 | Weighted Distributed Systems and Their Logics. | Benedikt Bollig, Ingmar Meinecke |
| 2007 | Elementary Differential Calculus on Discrete and Hybrid Structures. | Howard A. Blair, David W. Jakel, Robert J. Irwin, Angel J. Rivera |
| 2007 | Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers. | Arnon Avron, Anna Zamansky |
| 2007 | The Intensional Lambda Calculus. | Sergei N. Artmov, Eduardo Bonelli |
| 2007 | Justified and Common Knowledge: Limited Conservativity. | Evangelia Antonakos |
| 1997 | Verification of PLTL Formulae by Means of Monotone Disjunctive Normal Forms. | Vladimir A. Zakharov |
| 1997 | Logical Schemes for First-Order Theories. | Rostislav E. Yavorsky |
| 1997 | Simulating eta-expansions with beta-reductions in the Second-Order Polymorphic lambda-calculus. | Hongwei Xi |
| 1997 | Association Nets: an Alternative Formalization of Common Thinking. | Gregory S. Tseytin |
| 1997 | Back-Forth Equivalences for Design of Concurrent Systems. | Igor V. Tarasyuk |
| 1997 | Unification of Terms with Term-Indexed Variables. | Igor L. Tandetnik |
| 1997 | Formal Verification of Logic Programs: Foundations and Implementation. | Robert F. Strk |
| 1997 | Provability Logic with Operations on Proofs. | Tatiana Sidon |
| 1997 | Quasi-Characteristic Inference Rules for Modal Logics. | Vladimir V. Rybakov |
| 1997 | Some Results on Propositional Dynamic Logic with Fixed Points. | Igor Rents, Nikolay V. Shilov |
| 1997 | A Decidable Fragment of Second Order Linear Logic. | Guy Perrier |
| 1997 | Equivalence of Multiplicative Fragments of Cyclic Linear Logic and Noncommutative Linear Logic. | Mati Pentus |
| 1997 | Capturing Bisimulation-Invariant Ptime. | Martin Otto |
| 1997 | Type Introduction for Equational Rewriting. | Hitoshi Ohsaki, Aart Middeldorp |
| 1997 | Interpretation of the Full Computation Tree Logic CTL* on Sets of Infinite Sequences. | Ulrich Nitsche |
| 1997 | Models for the Logic of Proofs. | Alexey Mkrtychev |