| Relevance in Cooperation and Conflict | 2009/11/06 | English | 15 |
| A Jump Inversion Theorem for the Degree Spectra | 2009/02/01 | English | 15 |
| Towards a Definition of an Algorithm | 2010/05/30 | English | 15 |
| Proof Systems for Institutional Logic | 2006/06/01 | English | 15 |
| Probabilistic -calculus and Quantitative Program Analysis | 2005/04/01 | English | 15 |
| Coalition logic with individual, distributed and common knowledge1 | 2018/08/15 | English | 15 |
| On winning strategies with unary quantifiers | 1996/12/01 | English | 14 |
| The Complexity of Poor Man's Logic | 2001/08/01 | English | 14 |
| Reasoning with contradictory information using quasi-classical logic | 2000/10/01 | English | 14 |
| Updates and counterfactuals | 1998/02/01 | English | 14 |
| Nonmonotonic Logics and Semantics | 2001/04/01 | English | 14 |
| Tableau-based Decision Procedures for Hybrid Logic | 2006/08/12 | English | 14 |
| Value-based Argumentation Frameworks as Neural-symbolic Learning Systems | 2005/12/01 | English | 14 |
| Hyperintensions | 2007/02/16 | English | 14 |
| Exemplaric Expressivity of Modal Logics | 2009/02/03 | English | 14 |
| Deduction Systems for Coalgebras Over Measurable Spaces | 2008/12/12 | English | 14 |
| Principal Type Schemes for the Strict Type Assignment System | 1993/01/01 | English | 14 |
| On the Correspondence Between Modal and Classical Logic: an Automated Approach | 1993/01/01 | English | 14 |
| Reliable Methods of Judgement Aggregation | 2010/01/15 | English | 14 |
| Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages | 2020/08/26 | English | 14 |
| Borel Complexity of Topological Operations on Computable Metric Spaces | 2009/02/01 | English | 14 |
| Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification | 2007/11/22 | English | 14 |
| Automated Mathematical Induction | 1995/01/01 | English | 14 |
| Preserving mappings in fuzzy predicate logics | 2011/08/09 | English | 13 |
| On logical specifications of the Argument Interchange Format | 2012/08/03 | English | 13 |
| Cover semantics for quantified lax logic | 2010/08/11 | English | 13 |
| Base Revision for Ontology Debugging | 2008/09/05 | English | 13 |
| On the Properties of Metamodeling in OWL | 2007/06/04 | English | 13 |
| Logic, Self-awareness and Self-improvement: the Metacognitive Loop and the Problem of Brittleness | 2005/02/01 | English | 13 |
| Spectra of highn and non-lown degrees | 2010/11/29 | English | 13 |