| Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation | 2017/04/01 | English | 13 |
| Jónsson-style canonicity for ALBA-inequalities | 2015/06/19 | English | 13 |
| Blending margins: the modal logic K has nullary unification type | 2013/11/06 | English | 13 |
| A proof-theoretic semantic analysis of dynamic epistemic logic | 2014/11/03 | English | 13 |
| Distributed Algorithms for SCC Decomposition | 2009/02/17 | English | 13 |
| Measuring the blame of each formula for inconsistent prioritized knowledge bases | 2011/02/09 | English | 13 |
| Arc consistency and friends | 2011/11/08 | English | 13 |
| Natural Deduction for Hybrid Logic | 2004/06/01 | English | 13 |
| The Lattice of Lambda Theories | 2004/06/01 | English | 13 |
| Engineering Executable Agents using Multi-context Systems | 2002/06/01 | English | 13 |
| Complete Proof System for QPTL | 2002/10/01 | English | 13 |
| Storage Operators and Multiplicative Quantifiers in Many-valued Logics | 2004/04/01 | English | 13 |
| Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops | 2017/04/29 | English | 13 |
| Intersection Types as Logical Formulae | 1994/01/01 | English | 13 |
| Complete Problems Involving Boolean Labelled Structures and Projection Transactions | 1991/01/01 | English | 13 |
| The collapse of the bounded width hierarchy | 2014/11/23 | English | 13 |
| Quasi-varieties and initial semantics for hybridized institutions | 2013/07/09 | English | 13 |
| A logical analysis of responsibility attribution: emotions, individuals and collectives | 2013/12/02 | English | 13 |
| Proof analysis beyond geometric theories: from rule systems to systems of rules | 2014/06/13 | English | 12 |
| Axioms for Branching Time | 2002/08/01 | English | 12 |
| Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control | 2004/04/01 | English | 12 |
| Points, lines and diamonds: a two-sorted modal logic for projective planes | 1999/10/01 | English | 12 |
| Functional translation and second-order frame properties of modal logics | 1997/10/01 | English | 12 |
| Tractability Results in the Block Algebra | 2002/10/01 | English | 12 |
| Labelled propositional modal logics: theory and practice | 1997/12/01 | English | 12 |
| On the ‘transitivity’ of consequence relations | 2017/12/25 | English | 12 |
| A Decidable Constraint Diagram Reasoning System | 2005/12/01 | English | 12 |
| Temporal Reasoning over Deontic Specifications | 1991/01/01 | English | 12 |
| Completeness by Forcing | 2010/02/24 | English | 12 |
| OntoDLV: An ASP-based System for Enterprise Ontologies | 2008/08/14 | English | 12 |