| 2010 | Label-Free Proof Systems for Intuitionistic Modal Logic IS5. | Didier Galmiche, Yakoub Salhi |
| 2010 | A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing. | Michael Gabbay, Murdoch James Gabbay |
| 2010 | Optimizing the AES S-Box using SAT. | Carsten Fuhs, Peter Schneider-Kamp |
| 2010 | Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge. | Guido Fiorino |
| 2010 | Superposition-Based Analysis of First-Order Probabilistic Timed Automata. | Arnaud Fietzke, Holger Hermanns, Christoph Weidenbach |
| 2010 | fCube: An Efficient Prover for Intuitionistic Propositional Logic. | Mauro Ferrari, Camillo Fiorentini, Guido Fiorino |
| 2010 | Non-oblivious Strategy Improvement. | John Fearnley |
| 2010 | Graded Alternating-Time Temporal Logic. | Marco Faella, Margherita Napoli, Mimmo Parente |
| 2010 | Logic and Computation in a Lambda Calculus with Intersection and Union Types. | Daniel J. Dougherty, Luigi Liquori |
| 2010 | Characterising Probabilistic Processes Logically - (Extended Abstract). | Yuxin Deng, Rob J. van Glabbeek |
| 2010 | Generic Methods for Formalising Sequent Calculi Applied to Provability Logic. | Jeremy E. Dawson, Rajeev Gor |
| 2010 | On the Satisfiability of Two-Variable Logic over Data Words. | Claire David, Leonid Libkin, Tony Tan |
| 2010 | A Syntactical Approach to Qualitative Constraint Networks Merging. | Jean-Franois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind |
| 2010 | Ground Associative and Commutative Completion Modulo Shostak Theories. | Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala |
| 2010 | Pairwise Cardinality Networks. | Michael Codish, Moshe Zazon-Ivry |
| 2010 | Lazy Abstraction for Size-Change Termination. | Michael Codish, Carsten Fuhs, Jrgen Giesl, Peter Schneider-Kamp |
| 2010 | Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic. | Petr Cintula, George Metcalfe |
| 2010 | Note on Deduction Theorems in Contraction-Free Logics. | Karel Chvalovsk, Petr Cintula |
| 2010 | Magically Constraining the Inverse Method Using Dynamic Polarity Assignment. | Kaustuv Chaudhuri |
| 2010 | The Complexity of Partial-Observation Parity Games. | Krishnendu Chatterjee, Laurent Doyen |
| 2010 | On the Complexity of the Bernays-Schnfinkel Class with Datalog. | Witold Charatonik, Piotr Witkowski |
| 2010 | A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae. | Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot |
| 2010 | How to Universally Close the Existential Rule. | Kai Brnnler |
| 2010 | Focused Natural Deduction. | Taus Brock-Nannestad, Carsten Schrmann |
| 2010 | Hardness of Preorder Checking for Basic Formalisms. | Laura Bozzelli, Axel Legay, Sophie Pinchinat |