| Publication | Date of Publication | Type |
|---|
Constructing systems as object communities
Lecture Notes in Computer Science | 2022-11-02 | Paper |
Object interaction
Mathematical Foundations of Computer Science 1992 | 2022-08-18 | Paper |
| A mathematical primer on linear optimization | 2020-08-30 | Paper |
| A mathematical primer on computability | 2019-08-02 | Paper |
Epistemic nature of quantum reasoning
(available as arXiv preprint) | 2019-07-24 | Paper |
| scientific article; zbMATH DE number 7085029 (Why is no real title available?) | 2019-07-24 | 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 |
Universality of quantum Turing machines with deterministic control
Journal Of Logic And Computation | 2017-05-17 | 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 |
Exponentially more concise quantum recognition of non-RMM regular languages
Journal of Computer and System Sciences | 2014-11-24 | Paper |
| Fibring logics | 2014-05-19 | Paper |
Preservation of Craig interpolation by the product of matrix logics
Journal of Applied Logic | 2014-04-17 | Paper |
| Reasoning about imperative quantum programs | 2013-10-10 | 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 |
| 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 |
Reasoning About States of Probabilistic Sequential Programs
Computer Science Logic | 2009-03-12 | 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 |
Quantum Institutions
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
Reasoning about probabilistic sequential programs
Theoretical Computer Science | 2007-07-16 | Paper |
NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2007-03-27 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Weakly complete axiomatization of exogenous quantum propositional logic
Information and Computation | 2006-06-30 | 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 |
| scientific article; zbMATH DE number 2079666 (Why is no real title available?) | 2004-07-30 | Paper |
Fibring Logics with Topos Semantics
Journal Of Logic And Computation | 2003-11-10 | Paper |
| scientific article; zbMATH DE number 1995119 (Why is no real title available?) | 2003-10-21 | 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 |
Fibring: Completeness preservation
The Journal of Symbolic Logic | 2002-03-11 | Paper |
Deriving liveness goals from temporal logic specifications
Journal of Symbolic Computation | 2001-11-25 | Paper |
| scientific article; zbMATH DE number 1617301 (Why is no real title available?) | 2001-07-11 | Paper |
| scientific article; zbMATH DE number 1617300 (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 1418373 (Why is no real title available?) | 2000-03-19 | Paper |
Denotational semantics of object specification
Acta Informatica | 1998-09-10 | Paper |
| scientific article; zbMATH DE number 1182731 (Why is no real title available?) | 1998-08-02 | 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 |
Progress assumption in concurrent systems
Formal Aspects of Computing | 1995-07-23 | Paper |
Object inheritance beyond subtyping
Acta Informatica | 1994-07-04 | Paper |
Reasoning About Objects Using a Tableau Method
Journal Of Logic And Computation | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 4135383 (Why is no real title available?) | 1990-01-01 | Paper |
Branching versus linear logics yet again
Formal Aspects of Computing | 1990-01-01 | Paper |
Logics of Modal Terms for Systems Specification
Journal Of Logic And Computation | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4101144 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4097351 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4092818 (Why is no real title available?) | 1988-01-01 | Paper |
Specification and verification of database dynamics
Acta Informatica | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3980546 (Why is no real title available?) | 1986-01-01 | Paper |
The INFOLOG linear tense propositional logic of events and transactions
Information Systems | 1986-01-01 | Paper |
SYSTEMATICS: Its syntax and semantics as a query language (1)
The Computer Journal | 1981-01-01 | Paper |
Temporal aspects of logical procedure definition
Information Systems | 1980-01-01 | Paper |
