| 2007 | Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms. | Vladimir V. Rybakov |
| 2007 | Multiplexor Categories and Models of Soft Linear Logic. | Brian F. Redmond |
| 2007 | A Temporal Dynamic Logic for Verifying Hybrid System Invariants. | Andr Platzer |
| 2007 | Some Puzzles About Probability and Probabilistic Conditionals. | Rohit Parikh |
| 2007 | Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic. | Michael O'Connor |
| 2007 | Finite Automata Presentable Abelian Groups. | Andr Nies, Pavel Semukhin |
| 2007 | Uniform Circuits, & Boolean Proof Nets. | Virgile Mogbil, Vincent Rahli |
| 2007 | Compactness Properties for Stable Semantics of Logic Programs. | Victor W. Marek, Jeffrey B. Remmel |
| 2007 | Verifying Balanced Trees. | Zohar Manna, Henny B. Sipma, Ting Zhang |
| 2007 | On the Constructive Dedekind Reals: Extended Abstract. | Robert S. Lubarsky, Michael Rathjen |
| 2007 | Proof Identity for Classical Logic: Generalizing to Normality. | Roman Kuznets |
| 2007 | Hypersequent Calculus for Intuitionistic Logic with Classical Atoms. | Hidenori Kurokawa |
| 2007 | The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion. | Bjrn Kjos-Hanssen, Anil Nerode |
| 2007 | On Complexity of Ehrenfeucht-Frass Games. | Bakhadyr Khoussainov, Jiamou Liu |
| 2007 | A Note on Rewriting Proofs and Fibonacci Numbers. | Max I. Kanovich |
| 2007 | Including the Past in 'Topologic'. | Bernhard Heinemann |
| 2007 | A Synthesis Algorithm for Hybrid Systems. | Srikanth Gottipati, Anil Nerode |
| 2007 | Explicit Proofs in Formal Provability Logic. | Evan Goris |
| 2007 | Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking. | Raffaella Gentilini, Klaus Schneider, Bud Mishra |
| 2007 | Realizations and LP. | Melvin Fitting |
| 2007 | Model Checking Knowledge and Linear Time: PSPACE Cases. | Kai Engelhardt, Peter Gammie, Ron van der Meyden |
| 2007 | A Decidable Temporal Logic of Repeating Values. | Stphane Demri, Deepak D'Souza, Rgis Gascon |
| 2007 | Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics. | Jennifer M. Davoren |
| 2007 | Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus. | Robert L. Constable, Wojciech Moczydlowski |
| 2007 | Density Elimination and Rational Completeness for First-Order Logics. | Agata Ciabattoni, George Metcalfe |