| The computational complexity of hybrid temporal logics | Logic Journal of the IGPL | 2000 | 275 |
| Complexity measures and decision tree complexity: a survey | Theoretical Computer Science | 2002 | 263 |
| Limit on nonlocality in any world in which communication complexity is not trivial | Physical Review Letters | 2006 | 212 |
| A GENERIC APPROACH TO COALITION FORMATION | International Game Theory Review | 2009 | 145 |
| Hybrid logics: characterization, interpolation and complexity | Journal of Symbolic Logic | 2001 | 112 |
| Monolingual Document Retrieval for European Languages | Information Retrieval | 2004 | 53 |
| A Typology of Multidimensional Adjectives | Journal of Semantics | 2013 | 51 |
| From IF to BI | SynthÈse | 2009 | 51 |
| On Definability in Dependence Logic | Journal of Logic, Language and Information | 2009 | 47 |
| Extensive Games as Process Models | Journal of Logic, Language and Information | 2002 | 47 |
| Algorithmic correspondence and canonicity for distributive modal logic | Annals of Pure and Applied Logic | 2012 | 43 |
| Logic and Reasoning: do the facts matter? | Studia Logica | 2008 | 42 |
| The feeling of grip: novelty, error dynamics, and the predictive brain | SynthÈse | 2019 | 37 |
| Principles of structure building in music, language and animal song | Philosophical Transactions of the Royal Society B: Biological Sciences | 2015 | 36 |
| Modal Frame Correspondences and Fixed-Points | Studia Logica | 2006 | 34 |
| Etiopathogenetic defect of malignant hyperthermia: hypersensitive calcium-release channel of skeletal muscle sarcoplasmic reticulum | Veterinary Research Communications | 1987 | 33 |
| Toward a Theory of Play: A Logical Perspective on Games and Interaction | Games | 2011 | 31 |
| A Modal Perspective on Path Constraints | Journal of Logic and Computation | 2003 | 30 |
| Measurement theory in linguistics | SynthÈse | 2010 | 27 |
| Robust Polynomials and Quantum Algorithms | Theory of Computing Systems | 2007 | 27 |
| Multimo dal Logics of Products of Topologies | Studia Logica | 2007 | 27 |
| Multiagent resource allocation in k-additive domains: preference representation and complexity | Annals of Operations Research | 2008 | 26 |
| Semantics as a Foundation for Psychology: A Case Study of Wason's Selection Task | Journal of Logic, Language and Information | 2001 | 25 |
| Tableaux for Quantified Hybrid Logic | Lecture Notes in Computer Science | 2002 | 25 |
| Event structure, conceptual spaces and the semantics of verbs | Theoretical Linguistics | 2012 | 24 |
