| Representing and Reasoning about Temporal Granularities | 2004/02/01 | English | 22 |
| A Naïve Time Analysis and its Theory of Cost Equivalence | 1995/01/01 | English | 22 |
| On the Products of Linear Modal Logics | 2001/12/01 | English | 21 |
| Notions of Bisimulation for Heyting-Valued Modal Languages | 2010/02/09 | English | 21 |
| Termination for Hybrid Tableaus | 2007/03/21 | English | 21 |
| Records and Record Types in Semantic Theory | 2005/04/01 | English | 21 |
| Some Syntactical Observations on Linear Logic | 1991/01/01 | English | 21 |
| A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules | 1990/01/01 | English | 21 |
| Can We Make the Second Incompleteness Theorem Coordinate Free? | 2009/08/12 | English | 21 |
| Cut-free sequent calculi for C-systems with generalized finite-valued semantics | 2012/10/09 | English | 21 |
| Simulating without Negation | 1997/01/01 | English | 20 |
| Cirquent Calculus Deepened | 2008/10/01 | English | 20 |
| Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems | 2002/02/01 | English | 20 |
| Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics | 2009/01/08 | English | 20 |
| Bases of Admissible Rules of Lukasiewicz Logic | 2010/02/04 | English | 20 |
| Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity | 2006/04/01 | English | 19 |
| On Product Logic with Truth-constants | 2006/04/01 | English | 19 |
| Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic | 2008/11/16 | English | 19 |
| A Structural Proof of the Soundness of Rely/guarantee Rules | 2007/06/04 | English | 19 |
| On modal extensions of Product fuzzy logic | 2015/08/10 | English | 19 |
| The Expressiveness of Spider Diagrams | 2004/12/01 | English | 19 |
| Propositions as [Types] | 2004/08/01 | English | 19 |
| Resolution for temporal logics of knowledge | 1998/06/01 | English | 19 |
| Hyperresolution and automated model building | 1996/04/01 | English | 19 |
| A Uniform Proof-theoretic Investigation of Linear Logic Programming | 1994/01/01 | English | 19 |
| Bilattices and Modal Operators | 1990/01/01 | English | 19 |
| Logic Programming with Strong Negation and Inexact Predicates | 1991/01/01 | English | 19 |
| Experience and History: Processes and their Relation to Events | 2007/12/05 | English | 18 |
| Defeasible Logic is Stable | 1993/01/01 | English | 18 |
| Abstract Interpretation, Logical Relations, and Kan Extensions | 1990/01/01 | English | 18 |