| The Frobenius anatomy of word meanings II: possessive relative pronouns | 2014/06/02 | English | 17 |
| Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation | 2009/06/26 | English | 17 |
| One-and-a-halfth-order Logic | 2007/11/22 | English | 17 |
| On a hierarchy of 5' -> 3' sensing Watson-Crick finite automata languages | 2011/12/09 | English | 16 |
| Reasoning Support for Mapping Revision | 2008/08/14 | English | 16 |
| Faulty Belnap computers and subsystems of FDE | 2014/08/25 | English | 16 |
| Logics with Common Weak Completions | 2006/08/12 | English | 16 |
| Model-theoretic and Computational Properties of Modal Dependence Logic | 2009/01/20 | English | 16 |
| A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic | 2005/08/01 | English | 16 |
| Logics based on linear orders of contaminating values | 2019/06/29 | English | 16 |
| Nominal Algebra and the HSP Theorem | 2008/08/14 | English | 16 |
| Model checking multiagent systems | 1998/06/01 | English | 16 |
| Multi-agent Only Knowing | 2001/02/01 | English | 16 |
| Coherence and Conservatism in the Dynamics of Belief II: Iterated Belief Change without Dispositional Coherence | 2003/02/01 | English | 16 |
| Expressive power and complexity in algebraic logic | 1997/06/01 | English | 16 |
| On the decidability of continuous time specification formalisms | 1998/10/01 | English | 16 |
| Proof Nets for Classical Logic | 2003/10/01 | English | 16 |
| Complexity of products of modal logics | 1999/04/01 | English | 15 |
| Collective Argumentation and Disjunctive Logic Programming | 2003/06/01 | English | 15 |
| A Modal Perspective on Path Constraints | 2003/12/01 | English | 15 |
| Sahlqvist Formulas in Hybrid Polyadic Modal Logics | 2001/10/01 | English | 15 |
| Formalizing action and change in modal logic I: the frame problem | 1999/10/01 | English | 15 |
| Engineering AgentSpeak(L): a formal computational model | 1998/06/01 | English | 15 |
| Tableaux and Resource Graphs for Separation Logic | 2009/01/08 | English | 15 |
| Narratives in the Situation Calculus | 1994/01/01 | English | 15 |
| Defaults as Generalized Quantifiers | 1995/01/01 | English | 15 |
| A Fixpoint Semantics for Ordered Logic | 1990/01/01 | English | 15 |
| On Instance-level Update and Erasure in Description Logic Ontologies | 2008/08/06 | English | 15 |
| Algorithmic Randomness of Closed Sets | 2007/08/08 | English | 15 |
| ATL Satisfiability is Indeed EXPTIME-complete | 2006/08/12 | English | 15 |