| Publication | Date of Publication | Type |
|---|
The structure of paradoxes in a logic of sentential operators
Journal of Philosophical Logic | 2024-12-20 | Paper |
| There are only two paradoxes | 2023-09-06 | Paper |
Paraconsistent resolution
The Australasian Journal of Logic | 2022-10-04 | Paper |
Generated models and the \(\omega\)-rule: the nondeterministic case
TAPSOFT '95: Theory and Practice of Software Development | 2022-08-18 | Paper |
Extensions in graph normal form
Logic Journal of the IGPL | 2022-03-30 | Paper |
Paraconsistency, resolution and relevance
(available as arXiv preprint) | 2019-06-08 | Paper |
Kernels of digraphs with finitely many ends
Discrete Mathematics | 2018-11-29 | Paper |
Resolving infinitary paradoxes
Journal of Symbolic Logic | 2017-08-03 | Paper |
| Introduction to mathematical logic | 2016-09-08 | Paper |
Propositional discourse logic
Synthese | 2015-01-08 | Paper |
| Composition and refinement of specifications of parameterized data types | 2013-08-19 | Paper |
Quantifier-free logic for multialgebraic theories
Electronic Notes in Theoretical Computer Science | 2013-06-06 | Paper |
Kernels in digraphs that are not kernel perfect
Discrete Mathematics | 2012-08-10 | Paper |
Finding kernels or solving SAT
Journal of Discrete Algorithms | 2012-05-11 | Paper |
Expressive power of digraph solvability
Annals of Pure and Applied Logic | 2012-04-13 | Paper |
| Introduction to mathematical logic | 2011-09-22 | Paper |
Combining specification formalisms in the `general logic' of multialgebras.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Reference, paradoxes and truth
Synthese | 2010-03-09 | Paper |
Strongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures
Lecture Notes in Computer Science | 2009-04-28 | Paper |
Developing bounded reasoning
Journal of Logic, Language and Information | 2009-03-24 | Paper |
Complete Axiomatisations of Properties of Finite Sets
Logic Journal of the IGPL | 2008-06-27 | Paper |
Completeness and Decidability in Sequence Logic
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
| Modalities as interactions between the classical and the intuitionistic logics | 2008-01-28 | Paper |
| scientific article; zbMATH DE number 5148416 (Why is no real title available?) | 2007-05-02 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Quantifier-free logic for nondeterministic theories
Theoretical Computer Science | 2006-04-28 | Paper |
| scientific article; zbMATH DE number 2079033 (Why is no real title available?) | 2004-07-21 | Paper |
| scientific article; zbMATH DE number 1839457 (Why is no real title available?) | 2002-12-02 | Paper |
Computation algebras
MSCS. Mathematical Structures in Computer Science | 2002-02-27 | Paper |
Specification of parameterized programs -- persistency revisited
Nordic Journal of Computing | 2002-01-24 | Paper |
| scientific article; zbMATH DE number 1189289 (Why is no real title available?) | 1999-02-18 | Paper |
Singular and Plural Nondeterministic Parameters
SIAM Journal on Computing | 1998-02-10 | Paper |
| scientific article; zbMATH DE number 827943 (Why is no real title available?) | 1996-02-01 | Paper |
