| Publication | Date of Publication | Type |
|---|
On Diagrams and General Model Checkers
Diagrammatic Representation and Inference | 2023-02-23 | Paper |
DE ZOLT’S POSTULATE: AN ABSTRACT APPROACH
The Review of Symbolic Logic | 2022-03-18 | 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 |
| scientific article; zbMATH DE number 5000954 (Why is no real title available?) | 2006-01-24 | Paper |
| scientific article; zbMATH DE number 2236619 (Why is no real title available?) | 2005-12-08 | Paper |
Advances in Artificial Intelligence – SBIA 2004
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Exploring Computational Contents of Intuitionist Proofs
Logic Journal of the IGPL | 2005-08-03 | 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 2097567 (Why is no real title available?) | 2004-09-07 | Paper |
| scientific article; zbMATH DE number 2064300 (Why is no real title available?) | 2004-05-18 | Paper |
| scientific article; zbMATH DE number 2064305 (Why is no real title available?) | 2004-05-18 | Paper |
| scientific article; zbMATH DE number 2051679 (Why is no real title available?) | 2004-03-07 | Paper |
| scientific article; zbMATH DE number 2015277 (Why is no real title available?) | 2003-12-09 | Paper |
| scientific article; zbMATH DE number 2015285 (Why is no real title available?) | 2003-12-09 | 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 |
| scientific article; zbMATH DE number 1790353 (Why is no real title available?) | 2002-08-28 | Paper |
On local modularity variants and \(\Pi\)-institutions
Information Processing Letters | 2002-07-14 | Paper |
On finite and infinite fork algebras and their relational reducts
Logique et Analyse. Nouvelle Série | 2001-09-04 | Paper |
| scientific article; zbMATH DE number 1471976 (Why is no real title available?) | 2001-05-02 | Paper |
| scientific article; zbMATH DE number 1471994 (Why is no real title available?) | 2001-02-27 | Paper |
| scientific article; zbMATH DE number 1463253 (Why is no real title available?) | 2000-11-07 | Paper |
| scientific article; zbMATH DE number 1361527 (Why is no real title available?) | 1999-11-10 | Paper |
| scientific article; zbMATH DE number 1157017 (Why is no real title available?) | 1998-10-19 | Paper |
| scientific article; zbMATH DE number 1156791 (Why is no real title available?) | 1998-05-26 | Paper |
| scientific article; zbMATH DE number 1088189 (Why is no real title available?) | 1998-04-01 | Paper |
| scientific article; zbMATH DE number 1036759 (Why is no real title available?) | 1997-12-01 | Paper |
| scientific article; zbMATH DE number 1086629 (Why is no real title available?) | 1997-11-13 | Paper |
A Finite Axiomatization for Fork Algebras
Logic Journal of the IGPL | 1997-10-26 | Paper |
On the Modularization Theorem for logical specifications
Information Processing Letters | 1997-02-28 | Paper |
On pushout consistency, modularity and interpolation for logical specifications
Information Processing Letters | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 859785 (Why is no real title available?) | 1996-07-24 | Paper |
| scientific article; zbMATH DE number 804142 (Why is no real title available?) | 1996-02-07 | Paper |
Definition-like Extensions by Sorts
Logic Journal of the IGPL | 1995-09-20 | Paper |
A New, Simpler Proof of the Modularisation Theorem for Logical Specifications
Logic Journal of the IGPL | 1994-11-03 | Paper |
| scientific article; zbMATH DE number 58309 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 35403 (Why is no real title available?) | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 8770 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4043307 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3900135 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3888895 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3878342 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3858462 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3827256 (Why is no real title available?) | 1983-01-01 | Paper |
Comparing data type specifications via their normal forms
International Journal of Computer & Information Sciences | 1982-01-01 | Paper |
Methodical specification of abstract data types via rewriting systems
International Journal of Computer & Information Sciences | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3757751 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3839359 (Why is no real title available?) | 1982-01-01 | Paper |
Characterizations for the regular prefix codes and related families
International Journal of Computer & Information Sciences | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3702098 (Why is no real title available?) | 1980-01-01 | Paper |
Some remarks on multiple-entry finite automata
Journal of Computer and System Sciences | 1979-01-01 | Paper |
Characterizing the regular prefix codes and right power-bounded languages
Information Processing Letters | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3607497 (Why is no real title available?) | 1977-01-01 | Paper |
