| Publication | Date of Publication | Type |
|---|
On Diagrams and General Model Checkers
Diagrammatic Representation and Inference | 2023-02-23 | Paper |
A sphere world semantics for default reasoning
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
| A graph calculus for predicate logic | 2021-06-08 | Paper |
A graph calculus for predicate logic
(available as arXiv preprint) | 2021-06-08 | Paper |
| On graph refutation for relational inclusions | 2021-04-14 | Paper |
On graph refutation for relational inclusions
(available as arXiv preprint) | 2021-04-14 | Paper |
| scientific article; zbMATH DE number 7238914 (Why is no real title available?) | 2020-08-25 | Paper |
| On being naturally general | 2019-03-11 | Paper |
PDL for structured data: a graph-calculus approach
Logic Journal of the IGPL | 2019-01-08 | Paper |
| On graphs for intuitionistic modal logics | 2018-04-23 | Paper |
On a graph calculus for modalities
Theoretical Computer Science | 2017-06-15 | Paper |
| On graph calculi for multi-modal logics | 2016-08-01 | Paper |
On methods for safe introduction of operations
Information Processing Letters | 2016-06-09 | Paper |
| On a graph approach to modal logics | 2016-05-10 | Paper |
On the Structure of Natural Deduction Derivations for “Generally”
Trends in Logic | 2015-05-22 | Paper |
A tool for analysing logics
Electronic Notes in Theoretical Computer Science | 2015-03-18 | Paper |
Sequent calculi for `generally'
Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
Reasoning with graphs
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
| Revisiting `generally' and `rarely' | 2013-04-24 | Paper |
On vague notions and modalities: a modular approach
Logic Journal of the IGPL | 2010-07-26 | Paper |
On graph reasoning
Information and Computation | 2009-10-09 | Paper |
Positive Fork Graph Calculus
Logical Foundations of Computer Science | 2009-02-24 | Paper |
On a Graph Calculus for Algebras of Relations
Logic, Language, Information and Computation | 2008-07-10 | Paper |
On Positive Relational Calculi
Logic Journal of the IGPL | 2008-01-18 | Paper |
Natural Deduction for 'Generally'
Logic Journal of the IGPL | 2008-01-18 | Paper |
On fork arrow logic and its expressive power
Journal of Philosophical Logic | 2007-10-22 | Paper |
On ‘Most’ and ‘Representative’: Filter Logic and Special Predicates
Logic Journal of the IGPL | 2006-03-30 | Paper |
| On modulated logics for `generally': some metamathematical issues | 2006-01-24 | Paper |
Advances in Artificial Intelligence – SBIA 2004
Lecture Notes in Computer Science | 2005-08-22 | Paper |
An Application of Logic Engineering
Logic Journal of the IGPL | 2005-08-03 | Paper |
On ultrafilter logic and special functions
Studia Logica | 2005-04-07 | Paper |
Functional Interpretation of Logics for ‘Generally’
Logic Journal of the IGPL | 2005-03-11 | Paper |
| scientific article; zbMATH DE number 2079777 (Why is no real title available?) | 2004-07-30 | Paper |
| scientific article; zbMATH DE number 2064303 (Why is no real title available?) | 2004-05-18 | Paper |
| scientific article; zbMATH DE number 2014706 (Why is no real title available?) | 2003-12-08 | Paper |
Squares in fork arrow logic
Journal of Philosophical Logic | 2003-08-28 | Paper |
On local modularity and interpolation in entailment systems.
Information Processing Letters | 2003-01-21 | Paper |
On local modularity variants and \(\Pi\)-institutions
Information Processing Letters | 2002-07-14 | Paper |
| scientific article; zbMATH DE number 8770 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 3757751 (Why is no real title available?) | 1982-01-01 | Paper |
