| Publication | Date of Publication | Type |
|---|
From translations to non-collapsing logic combinations
Bulletin of the Section of Logic | 2026-04-01 | Paper |
Probabilistic semantics and calculi for multi-valued and paraconsistent logics
Studia Logica | 2025-10-14 | Paper |
On combining intuitionistic and S4 modal logic
Bulletin of the Section of Logic | 2025-10-06 | Paper |
Labelled proof systems for existential reasoning
Logic Journal of the IGPL | 2025-03-25 | Paper |
Meet-combination of consequence systems
Logic and Logical Philosophy | 2025-03-17 | Paper |
Conservative translations revisited
Journal of Philosophical Logic | 2023-06-13 | Paper |
Adding abductive reasoning to a propositional logic
Journal Of Logic And Computation | 2022-09-22 | Paper |
Object interaction
Mathematical Foundations of Computer Science 1992 | 2022-08-18 | Paper |
Time-stamped claim logic
Logic Journal of the IGPL | 2022-01-05 | Paper |
Time-stamped claim logic
Logic Journal of the IGPL | 2022-01-05 | Paper |
REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
The Bulletin of Symbolic Logic | 2021-08-05 | Paper |
Event-based time-stamped claim logic
Journal of Logical and Algebraic Methods in Programming | 2021-08-03 | Paper |
Decidability of logical theories and their combination
Studies in Universal Logic | 2020-10-15 | Paper |
| A mathematical primer on linear optimization | 2020-08-30 | Paper |
Essential structure of proofs as a measure of complexity
Logica Universalis | 2020-05-27 | Paper |
| A mathematical primer on computability | 2019-08-02 | Paper |
Probabilistic logic of quantum observations
Logic Journal of the IGPL | 2019-06-18 | Paper |
Decision and optimization problems in the unreliable-circuit logic
Logic Journal of the IGPL | 2019-01-08 | Paper |
On probability and logic
Portugaliae Mathematica. Nova Série | 2018-04-09 | Paper |
Preservation of admissible rules when combining logics
The Review of Symbolic Logic | 2017-05-31 | Paper |
A roadmap to decidability
Studies in Universal Logic | 2015-06-24 | Paper |
Probabilistic situation calculus
Annals of Mathematics and Artificial Intelligence | 2015-06-17 | Paper |
Fibring as biporting subsumes asymmetric combinations
Studia Logica | 2015-02-27 | Paper |
Approximate reasoning about logic circuits with single-fan-out unreliable gates
Journal Of Logic And Computation | 2015-02-11 | Paper |
Craig interpolation in the presence of unreliable connectives
Logica Universalis | 2015-02-05 | Paper |
Preservation of Craig interpolation by the product of matrix logics
Journal of Applied Logic | 2014-04-17 | Paper |
Completeness and interpolation of almost-everywhere quantification over finitely additive measures
Mathematical Logic Quarterly (MLQ) | 2013-10-30 | Paper |
| Extending classical logic for reasoning about quantum systems | 2013-10-04 | Paper |
Importing logics: soundness and completeness preservation
Studia Logica | 2013-08-19 | Paper |
| Non-deterministic combination of connectives | 2013-04-24 | Paper |
| scientific article; zbMATH DE number 6154472 (Why is no real title available?) | 2013-04-16 | Paper |
| scientific article; zbMATH DE number 6148925 (Why is no real title available?) | 2013-03-27 | Paper |
On combined connectives
Logica Universalis | 2013-03-21 | Paper |
On meet-combination of logics
Journal Of Logic And Computation | 2013-01-14 | Paper |
Importing logics
Studia Logica | 2012-12-12 | Paper |
| scientific article; zbMATH DE number 5910647 (Why is no real title available?) | 2011-06-21 | Paper |
Preservation by fibring of the finite model property
Journal Of Logic And Computation | 2011-06-10 | Paper |
Fusion of sequent modal logic systems labelled with truth values
Logic Journal of the IGPL | 2010-12-14 | Paper |
| Foundations of logic and theory of computation | 2010-06-29 | Paper |
| Temporal logics for reasoning about quantum systems | 2010-05-14 | Paper |
A graph-theoretic account of logics
Journal Of Logic And Computation | 2010-01-14 | Paper |
On Graph-theoretic Fibring of Logics
Journal Of Logic And Computation | 2010-01-14 | Paper |
Truth-values as labels: a general recipe for labelled deduction
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
Interpolation via translations
MLQ | 2009-10-14 | Paper |
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
Journal Of Logic And Computation | 2008-12-22 | Paper |
| Exogeneous semantics approach to enriching logics | 2008-09-29 | Paper |
Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems
Logic Journal of the IGPL | 2008-05-05 | Paper |
Preservation of Interpolation Features by Fibring
Journal Of Logic And Computation | 2008-03-12 | Paper |
Analysis and synthesis of logics. How to cut and paste reasoning systems
Applied Logic Series | 2008-02-07 | Paper |
Quantum Institutions
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2007-03-27 | Paper |
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination
Logic Journal of the IGPL | 2005-09-28 | Paper |
Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity
Logic Journal of the IGPL | 2004-10-28 | Paper |
Categorical foundations for randomly timed automata
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 2086603 (Why is no real title available?) | 2004-08-11 | Paper |
Modulated fibring and the collapsing problem
Journal of Symbolic Logic | 2004-03-01 | Paper |
Fibring Logics with Topos Semantics
Journal Of Logic And Computation | 2003-11-10 | Paper |
Fibring Modal First-Order Logics: Completeness Preservation
Logic Journal of the IGPL | 2003-08-24 | Paper |
Fibring Labelled Deduction Systems
Journal Of Logic And Computation | 2003-05-29 | Paper |
Fibring non-truth-functional logics: Completeness preservation
Journal of Logic, Language and Information | 2003-04-27 | Paper |
A two-level temporal logic for evolving specifications.
Information Processing Letters | 2003-01-21 | Paper |
| Categorial fibring of logics with terms and binding operators | 2002-08-05 | Paper |
| scientific article; zbMATH DE number 1735880 (Why is no real title available?) | 2002-04-29 | Paper |
Fibring: Completeness preservation
The Journal of Symbolic Logic | 2002-03-11 | Paper |
| scientific article; zbMATH DE number 1617301 (Why is no real title available?) | 2001-07-11 | Paper |
| scientific article; zbMATH DE number 1497807 (Why is no real title available?) | 2001-03-04 | Paper |
Fibring of logics as a categorial construction
Journal Of Logic And Computation | 2000-08-23 | Paper |
| scientific article; zbMATH DE number 1418816 (Why is no real title available?) | 2000-03-30 | Paper |
| scientific article; zbMATH DE number 1418362 (Why is no real title available?) | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 1182732 (Why is no real title available?) | 1999-02-02 | Paper |
Denotational semantics of object specification
Acta Informatica | 1998-09-10 | Paper |
| scientific article; zbMATH DE number 1107622 (Why is no real title available?) | 1998-05-10 | Paper |
Synchronization of logics
Studia Logica | 1997-11-13 | Paper |
A temporal logic approach to object certification
Data & Knowledge Engineering | 1997-02-27 | Paper |
Object Specification Logic
Journal Of Logic And Computation | 1995-10-04 | Paper |
Object inheritance beyond subtyping
Acta Informatica | 1994-07-04 | Paper |
| scientific article; zbMATH DE number 4135383 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4092818 (Why is no real title available?) | 1988-01-01 | Paper |
The Role of Conceptual Modelling Abstractions in Compiler Development
The Computer Journal | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3980546 (Why is no real title available?) | 1986-01-01 | Paper |
