| Property-based Slicing for Agent Verification | 2009/06/16 | English | 12 |
| A Complete Deductive System for Probability Logic | 2009/06/16 | English | 12 |
| Proof-theoretic semantics, paradoxes and the distinction between sense and denotation | 2014/06/02 | English | 12 |
| Epistemic logics for sceptical agents | 2015/03/21 | English | 12 |
| Complexity of the Guarded Two-variable Fragment with Counting Quantifiers | 2006/08/23 | English | 12 |
| A Logical and Computational Theory of Located Resource | 2009/07/22 | English | 12 |
| On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events | 2009/03/26 | English | 12 |
| THOMAS: An agent platform for supporting normative multi-agent systems | 2011/09/07 | English | 12 |
| Opening the black box of trust: reasoning about trust models in a BDI agent | 2012/03/16 | English | 12 |
| Dynamic specification of open agent systems | 2011/07/30 | English | 11 |
| On Independence of Variants of the Weak Pigeonhole Principle | 2007/03/21 | English | 11 |
| An Institution-independent Generalization of Tarski's Elementary Chain Theorem | 2006/08/12 | English | 11 |
| How to Do Things with Worlds: on Formalizing Actions and Plans | 1993/01/01 | English | 11 |
| Formalizing a Hierarchical Structure of Practical Mathematical Reasoning | 1993/01/01 | English | 11 |
| A Topological Study of the Closed Fragment of GLP | 2009/08/12 | English | 11 |
| Semantic Labelled Tableaux for Propositional BI | 2003/10/01 | English | 11 |
| Expressive number restrictions in description logics | 1999/06/01 | English | 11 |
| Logical Precision in Concept Lattices | 2002/02/01 | English | 11 |
| Bringing them all Together | 2001/10/01 | English | 11 |
| Modal logics for incidence geometries | 1997/02/01 | English | 11 |
| Coalition formation processes with belief revision among bounded-rational self-interested agents | 1999/12/01 | English | 11 |
| The Dynamics of Syntactic Knowledge | 2006/08/23 | English | 11 |
| Counting Objects | 1995/01/01 | English | 11 |
| Views of proof-theoretic semantics: reified proof-theoretic meanings | 2014/05/30 | English | 10 |
| Hierarchies in independence and inclusion logic with strict semantics | 2014/10/03 | English | 10 |
| Non-transitive linear temporal logic and logical knowledge operations | 2015/04/20 | English | 10 |
| Unifying logics via context-sensitiveness | 2015/08/10 | English | 10 |
| Ontology merging as social choice: judgment aggregation under the open world assumption | 2012/12/28 | English | 10 |
| The cf2 argumentation semantics revisited | 2012/04/26 | English | 10 |
| Social network games | 2013/06/05 | English | 10 |