| Publication | Date of Publication | Type |
|---|
Linear depth deduction with subformula property for intuitionistic epistemic logic
Journal of Automated Reasoning | 2023-06-14 | Paper |
New tableau characterizations for non-clausal \textsc{MaxSAT} problem
Logic Journal of the IGPL | 2022-07-22 | Paper |
A non-clausal tableau calculus for \textsc{MinSat}
Information Processing Letters | 2021-10-19 | Paper |
JTabWb: a Java framework for implementing terminating sequent and tableau calculi
Fundamenta Informaticae | 2017-11-10 | Paper |
On the complexity of the disjunction property in intuitionistic and modal logics
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Simplification Rules for Intuitionistic Propositional Tableaux
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
An evaluation-driven decision procedure for G3i
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Terminating calculi for propositional Dummett logic with subformula property
Journal of Automated Reasoning | 2015-07-02 | Paper |
Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models
Journal of Automated Reasoning | 2015-06-23 | Paper |
A Terminating Evaluation-Driven Variant of G3i
Lecture Notes in Computer Science | 2013-10-04 | Paper |
fCube: an efficient prover for intuitionistic propositional logic
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
A Decidable Constructive Description Logic
Logics in Artificial Intelligence | 2010-10-01 | Paper |
Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus
Information Sciences | 2010-09-08 | Paper |
\(\mathcal {BCDL}\): Basic constructive description logic
Journal of Automated Reasoning | 2010-05-26 | Paper |
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Optimization techniques for propositional intuitionistic logic and their implementation
Theoretical Computer Science | 2008-12-12 | Paper |
Improvements to the Tableau Prover PITP
Lecture Notes in Computer Science | 2008-01-04 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2005-08-22 | Paper |
A secondary semantics for Second Order Intuitionistic Propositional Logic
MLQ | 2004-03-29 | Paper |
Space-efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics
Journal Of Logic And Computation | 2003-10-06 | Paper |
scientific article; zbMATH DE number 1980925 (Why is no real title available?)
| 2003-09-15 | Paper |
scientific article; zbMATH DE number 1950257 (Why is no real title available?)
| 2003-07-17 | Paper |
An \(O(n\log n)\)-SPACE decision procedure for the propositional Dummett logic
Journal of Automated Reasoning | 2002-04-11 | Paper |
Efficient learning with equivalence queries of conjunctions of modulo functions
Information Processing Letters | 1997-02-27 | Paper |
