| Publication | Date of Publication | Type |
|---|
| Playing with modalities (invited talk) | 2026-06-09 | Paper |
| A simple token game and its logic | 2025-02-19 | Paper |
| Reasoning about group polarization: from semantic games to sequent systems | 2025-02-19 | Paper |
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
1512.03043 | 2022-12-06 | Paper |
From truth degree comparison games to sequents-of-relations calculi for Gödel logic
Logica Universalis | 2022-09-01 | Paper |
Connecting sequent calculi with Lorenzen-style dialogue games
Paul Lorenzen -- Mathematician and Logician | 2022-01-27 | Paper |
| On semantic games for Łukasiewicz logic | 2020-07-24 | Paper |
A game model for proofs with costs
(available as arXiv preprint) | 2020-05-14 | Paper |
| Equilibrium semantics for IF logic and many-valued connectives | 2020-01-15 | Paper |
Connecting fuzzy logic and argumentation frames via logical attack principles
Soft Computing | 2019-08-12 | Paper |
| scientific article; zbMATH DE number 7034308 (Why is no real title available?) | 2019-03-11 | Paper |
MUltlog 1.0: towards an expert system for many-valued logics
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
Semantic trees revisited: some new completeness results
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
Lean induction principles for tableaux
Lecture Notes in Computer Science | 2019-01-15 | Paper |
Combining many-valued and intuitionistic tableaux
Theorem Proving with Analytic Tableaux and Related Methods | 2019-01-10 | Paper |
| scientific article; zbMATH DE number 6930552 (Why is no real title available?) | 2018-09-03 | Paper |
| Interpreting sequent calculi as client-server games | 2018-02-02 | Paper |
| Logical argumentation principles, sequents, and nondeterministic matrices | 2017-11-22 | Paper |
| scientific article; zbMATH DE number 6787702 (Why is no real title available?) | 2017-10-06 | Paper |
| Elementary elimination of prenex cuts in disjunction-free intuitionistic logic | 2017-08-31 | Paper |
On matrices, Nmatrices and games
Journal of Logic and Computation | 2016-04-28 | Paper |
Bridges between contextual linguistic models of vagueness and t-norm based fuzzy logic
Petr Hájek on Mathematical Fuzzy Logic | 2015-10-06 | Paper |
Randomized game semantics for semi-fuzzy quantifiers
Logic Journal of the IGPL | 2015-02-12 | Paper |
From games to truth functions: a generalization of Giles's game
Studia Logica | 2014-06-19 | Paper |
Hintikka-style semantic games for fuzzy logics
Lecture Notes in Computer Science | 2014-03-31 | Paper |
| A conversation about fuzzy logic and vagueness | 2013-02-28 | Paper |
| Comments on ``Vagueness in language: the case against fuzzy logic revisited'' by Uli Sauerland | 2013-02-28 | Paper |
| Comments on ``Vagueness: a mathematician's perspective'' by Thomas Vetterlein | 2013-02-28 | Paper |
| scientific article; zbMATH DE number 6130976 (Why is no real title available?) | 2013-01-27 | Paper |
Randomized game semantics for semi-fuzzy quantifiers
Communications in Computer and Information Science | 2012-12-03 | Paper |
| Some critical remarks on incompability semantics | 2012-11-16 | Paper |
Theorem proving for prenex Gödel logic with : checking validity and unsatisfiability
Logical Methods in Computer Science | 2012-04-03 | Paper |
Herbrand's theorem for prenex Gödel logic and its consequences for theorem proving
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
Tableaux for Reasoning about Atomic Updates
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
A resolution mechanism for prenex Gödel logic
Computer Science Logic | 2010-09-03 | Paper |
| scientific article; zbMATH DE number 5772817 (Why is no real title available?) | 2010-08-18 | Paper |
Automated Reasoning with Analytic Tableaux and Related Methods
Lecture Notes in Computer Science | 2010-03-09 | Paper |
| A translation characterizing the constructive content of classical theories | 2010-02-24 | Paper |
Giles's game and the proof theory of Łukasiewicz logic
Studia Logica | 2009-11-16 | Paper |
Dialogue Games as Foundation of Fuzzy Logics
Views on Fuzzy Sets and Systems from Different Perspectives | 2009-08-05 | Paper |
| Revisiting Giles's game. Reconciling fuzzy logic and supervaluation | 2009-04-14 | Paper |
Dialogue games for many-valued logics -- an overview
Studia Logica | 2009-03-17 | Paper |
Cut Elimination for First Order Gödel Logic by Hyperclause Resolution
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
Model Representation over Finite and Infinite Signatures
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Combining Supervaluation and Degree Based Reasoning Under Vagueness
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
Model Representation over Finite and Infinite Signatures
Journal Of Logic And Computation | 2007-12-12 | Paper |
Automated Deduction – CADE-20
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Hypersequent Calculi for Godel Logics -- a Survey
Journal Of Logic And Computation | 2004-09-07 | Paper |
| scientific article; zbMATH DE number 2042614 (Why is no real title available?) | 2004-02-15 | Paper |
| scientific article; zbMATH DE number 2006629 (Why is no real title available?) | 2003-11-23 | Paper |
| A natural deduction system for intuitionistic fuzzy logic | 2003-03-31 | Paper |
| Automated deduction for many-valued logics | 2002-09-05 | Paper |
| scientific article; zbMATH DE number 1696762 (Why is no real title available?) | 2002-07-22 | Paper |
| Resolution decision procedures | 2001-10-21 | Paper |
| scientific article; zbMATH DE number 1612546 (Why is no real title available?) | 2001-07-01 | Paper |
Labeled calculi and finite-valued logics
Studia Logica | 2001-06-25 | Paper |
| scientific article; zbMATH DE number 1507189 (Why is no real title available?) | 2001-06-04 | Paper |
| scientific article; zbMATH DE number 1500655 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1341466 (Why is no real title available?) | 1999-11-21 | Paper |
| scientific article; zbMATH DE number 1324434 (Why is no real title available?) | 1999-08-16 | Paper |
| scientific article; zbMATH DE number 1222563 (Why is no real title available?) | 1999-03-02 | Paper |
Decision procedures and model building in equational clause logic
Logic Journal of the IGPL | 1999-01-05 | Paper |
| scientific article; zbMATH DE number 1189102 (Why is no real title available?) | 1998-08-13 | Paper |
Hyperresolution and automated model building
Journal Of Logic And Computation | 1996-06-09 | Paper |
Resolution-based theorem proving for many-valued logics
Journal of Symbolic Computation | 1995-10-09 | Paper |
| scientific article; zbMATH DE number 777292 (Why is no real title available?) | 1995-07-20 | Paper |
| scientific article; zbMATH DE number 517011 (Why is no real title available?) | 1994-08-25 | Paper |
| scientific article; zbMATH DE number 516992 (Why is no real title available?) | 1994-08-21 | Paper |
| scientific article; zbMATH DE number 512974 (Why is no real title available?) | 1994-07-28 | Paper |
| scientific article; zbMATH DE number 515732 (Why is no real title available?) | 1994-06-02 | Paper |
| scientific article; zbMATH DE number 446843 (Why is no real title available?) | 1994-01-09 | Paper |
Removing redundancy from a clause
Artificial Intelligence | 1993-10-31 | Paper |
| scientific article; zbMATH DE number 19146 (Why is no real title available?) | 1992-06-26 | Paper |
