| Sequent calculi for induction and infinite descent | 2010/09/30 | English | 18 |
| Multi-type display calculus for propositional dynamic logic | 2014/11/21 | English | 18 |
| Propositional information systems | 1999/10/01 | English | 18 |
| A Formulae-as-Types Interpretation of Subtractive Logic | 2004/08/01 | English | 18 |
| Ten Philosophical Problems in Belief Revision | 2003/02/01 | English | 18 |
| A Linear Spine Calculus | 2003/10/01 | English | 18 |
| PSPACE Reasoning for Graded Modal Logics | 2001/02/01 | English | 18 |
| Multi-type display calculus for dynamic epistemic logic | 2014/12/05 | English | 18 |
| Low linear orderings | 2010/09/13 | English | 18 |
| Tableaux for Logics of Subinterval Structures over Dense Orderings | 2008/12/23 | English | 18 |
| ADL and the State-Transition Model of Action | 1994/01/01 | English | 18 |
| Tableaux for Public Announcement Logic | 2008/11/21 | English | 18 |
| Embedding Alternating-time Temporal Logic in Strategic Logic of Agency | 2006/10/01 | English | 18 |
| Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic | 2009/05/04 | English | 18 |
| Using argumentation to reason about trust and belief | 2011/11/15 | English | 18 |
| Optimal decompositions of matrices with entries from residuated lattices | 2011/09/07 | English | 18 |
| Epistemic Actions as Resources | 2007/03/21 | English | 17 |
| Quantale Modules and their Operators, with Applications | 2008/11/21 | English | 17 |
| Deduction in Concept Languages: from Subsumption to Instance Checking | 1994/01/01 | English | 17 |
| Naming and Identity in Epistemic Logics Part I: The Propositional Case | 1993/01/01 | English | 17 |
| Short Conjunctive Normal Forms in Finitely Valued Logics | 1994/01/01 | English | 17 |
| Defeasible Dialectics: A Controversy-Oriented Approach towards Defeasible Argumentation | 1993/01/01 | English | 17 |
| Syllogistic Logics with Verbs | 2008/11/26 | English | 17 |
| Logic for coalitions with bounded resources | 2010/08/23 | English | 17 |
| Undecidability of compass logic | 1999/12/01 | English | 17 |
| A description logic with concrete domains and a role-forming predicate operator | 1999/06/01 | English | 17 |
| Reducing Preferential Paraconsistent Reasoning to Classical Entailment | 2003/08/01 | English | 17 |
| On the expressive power of three-valued and four-valued languages | 1999/12/01 | English | 17 |
| Event Calculus Reasoning Through Satisfiability | 2004/10/01 | English | 17 |
| Modal logics of sabotage revisited | 2017/12/25 | English | 17 |