| On fuzzification mechanisms for unary quantification | 0 | 0.34 | 2020 |
| Connecting fuzzy logic and argumentation frames via logical attack principles | 0 | 0.34 | 2019 |
| A Granularity Approach to Vague Quantification. | 0 | 0.34 | 2018 |
| From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games. | 0 | 0.34 | 2017 |
| Querying with Vague Quantifiers Using Probabilistic Semantics. | 1 | 0.39 | 2017 |
| Logical Argumentation Principles, Sequents, And Nondeterministic Matrices | 0 | 0.34 | 2017 |
| Hintikka Style Game Rules for Semi-Fuzzy Quantifiers | 0 | 0.34 | 2017 |
| Interpreting Sequent Calculi as Client-Server Games. | 0 | 0.34 | 2017 |
| On matrices, Nmatrices and games | 1 | 0.37 | 2016 |
| Semantic Games with Backtracking for T-norm Based Fuzzy Logics. | 0 | 0.34 | 2016 |
| Equilibrium Semantics for IF Logic and Many-Valued Connectives. | 0 | 0.34 | 2015 |
| Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic. | 0 | 0.34 | 2015 |
| Semantic Games with Backtracking for Fuzzy Logics | 0 | 0.34 | 2014 |
| From Games to Truth Functions: A Generalization of Giles's Game. | 2 | 0.38 | 2014 |
| Hintikka-Style Semantic Games for Fuzzy Logics | 1 | 0.43 | 2014 |
| Randomized game semantics for semi-fuzzy quantifiers. | 5 | 0.90 | 2012 |
| Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability | 0 | 0.34 | 2012 |
| A resolution mechanism for Prenex Gödel logic | 3 | 0.42 | 2010 |
| Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings | 37 | 1.56 | 2010 |
| Giles's Game and the Proof Theory of Lukasiewicz Logic | 4 | 0.55 | 2009 |
| Dialogue Games for Many-Valued Logics - an Overview | 8 | 0.85 | 2008 |
| Cut Elimination for First Order Gödel Logic by Hyperclause Resolution | 6 | 0.58 | 2008 |
| Fuzzy Logic and Theories of Vagueness | 0 | 0.34 | 2007 |
| Monadic fragments of Gödel logics: decidability and undecidability results | 7 | 0.58 | 2007 |
| Model representation over finite and infinite signatures | 1 | 0.40 | 2007 |
| Exploring Dialogue Games as Foundation of Fuzzy Logic | 0 | 0.34 | 2007 |
| Combining supervaluation and degree based reasoning under vagueness | 10 | 1.06 | 2006 |
| Model representation via contexts and implicit generalizations | 9 | 0.55 | 2005 |
| Uniform Rules and Dialogue Games for Fuzzy Logics. | 18 | 1.10 | 2004 |
| A Translation Characterizing the Constructive Content of Classical Theories | 1 | 0.48 | 2003 |
| From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games | 6 | 0.62 | 2003 |
| Parallel dialogue games and hypersequents for intermediate logics | 7 | 0.71 | 2003 |
| Hypersequent Calculi for Gödel Logics - a Survey | 43 | 2.23 | 2003 |
| Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings | 23 | 2.50 | 2002 |
| Tableaux for Reasoning About Atomic Updates | 0 | 0.34 | 2001 |
| A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity | 1 | 0.38 | 2001 |
| Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving | 18 | 1.35 | 2001 |
| Workshop: Model Computation - Principles, Algorithms, Applications | 4 | 0.41 | 2000 |
| An Analytic Calculus for Quantified Propositional Gödel Logic | 2 | 0.43 | 2000 |
| Have Spass with OCC1N=g | 2 | 0.37 | 2000 |
| On the Undecidability of some Sub-Classical First-Order Logics | 2 | 0.47 | 1999 |
| Labeled Calculi and Finite-Valued Logics | 21 | 1.14 | 1998 |
| Decision Procedures and Model Building in Equational Clause Logic | 16 | 0.64 | 1998 |
| Implicational Completeness of Signed Resolution | 0 | 0.34 | 1998 |
| Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities | 2 | 0.44 | 1998 |
| Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics | 9 | 5.61 | 1998 |
| Lean Induction Principles for Tableaux | 4 | 0.45 | 1997 |
| Semantic Trees Revisited: Some New Completeness Results | 0 | 0.34 | 1996 |
| MUltlog 1.0: Towards an Expert System for Many-Valued Logics | 16 | 1.03 | 1996 |
| Combining Many-valued and Intuitionistic Tableaux | 3 | 0.54 | 1996 |
