| Computing argumentation in logic programming | 1999/08/01 | English | 28 |
| A Proof-Theoretic Approach to Logic Programming | 1991/01/01 | English | 28 |
| Compositionality Through an Operational Semantics of Contexts | 1991/01/01 | English | 28 |
| Coercive subtyping | 1999/02/01 | English | 27 |
| Quantitative Information Flow, Relations and Polymorphic Types | 2005/04/01 | English | 27 |
| Constructive Logic with Strong Negation as a Substructural Logic | 2008/12/12 | English | 27 |
| Admissible Rules of Lukasiewicz Logic | 2010/01/03 | English | 27 |
| A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution | 1997/01/01 | English | 26 |
| Metalevel argumentation | 2010/09/28 | English | 26 |
| Elementary Diagrams in Institutions | 2004/10/01 | English | 26 |
| Fibring of logics as a categorial construction | 1999/04/01 | English | 26 |
| Differential-algebraic Dynamic Logic for Differential-algebraic Programs | 2008/11/18 | English | 26 |
| Semantics-Based Translation Methods for Modal Logics | 1991/01/01 | English | 26 |
| Bi-modal Godel logic over [0,1]-valued Kripke frames | 2012/09/03 | English | 25 |
| A linearization of the Lambda-calculus and consequences | 2000/06/01 | English | 25 |
| Representing and reasoning on XML documents: a description logic approach | 1999/06/01 | English | 25 |
| Optimizing description logic subsumption | 1999/06/01 | English | 25 |
| Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus | 2001/04/01 | English | 24 |
| Some probability logics with new types of probability operators | 1999/04/01 | English | 24 |
| A formalization of argumentation schemes for legal case-based reasoning in ASPIC+ | 2013/05/09 | English | 24 |
| Introduction to Cirquent Calculus and Abstract Resource Semantics | 2006/07/25 | English | 23 |
| Systems for Knowledge and Belief | 1993/01/01 | English | 23 |
| TCTL Model Checking of Time Petri Nets | 2009/07/06 | English | 23 |
| Nominal (Universal) Algebra: Equational Logic with Names and Binding | 2009/07/05 | English | 23 |
| Linear Temporal Logic LTL: Basis for Admissible Rules | 2010/07/18 | English | 23 |
| Reasoning about rational, but not logically omniscient, agents | 1997/10/01 | English | 23 |
| An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic | 1993/01/01 | English | 23 |
| Aggregating Partially Ordered Preferences | 2008/04/30 | English | 23 |
| Four-valued modal logic: Kripke semantics and duality | 2015/06/15 | English | 23 |
| Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations | 1997/10/01 | English | 22 |