| Publication | Date of Publication | Type |
|---|
Kill rates by Immune cells: ratio-dependent, or mass action?
Journal of Theoretical Biology | 2024-04-03 | Paper |
Intermediate rings of complex-valued continuous functions
Applied General Topology | 2021-07-05 | Paper |
Recent progress in rings and subrings of real valued measurable functions
Quaestiones Mathematicae | 2021-02-16 | Paper |
| Characteristic formulae for fixed-point semantics: a general framework | 2021-01-26 | Paper |
Ideals in rings and intermediate rings of measurable functions
Journal of Algebra and its Applications | 2020-05-04 | Paper |
The probabilistic logic of communication and change
Journal Of Logic And Computation | 2020-02-13 | Paper |
Logics for dynamic epistemic behavioral strategies
Logic in Asia: Studia Logica Library | 2020-02-04 | Paper |
The logic of qualitative probability
Artificial Intelligence | 2019-08-28 | Paper |
Idempotents in tangle categories split
Journal of Knot Theory and Its Ramifications | 2019-05-23 | Paper |
Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
Soft Computing | 2018-02-27 | Paper |
\(P\)-spaces and intermediate rings of continuous functions
Rocky Mountain Journal of Mathematics | 2018-02-20 | Paper |
Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices
International Journal of Theoretical Physics | 2018-02-05 | Paper |
Logics of temporal-epistemic actions
Synthese | 2017-03-14 | Paper |
Compositional reasoning for multi-modal logics
Logical Foundations of Computer Science | 2015-12-11 | Paper |
Duality for the logic of quantum actions
Studia Logica | 2015-09-15 | Paper |
A coalgebraic view of characteristic formulas in equational modal fixed point logics
Advanced Information Systems Engineering | 2015-09-11 | Paper |
| Characterizing \(C(X)\) among intermediate \(C\)-rings on \(X\) | 2015-02-18 | Paper |
PLQP \& Company: decidable logics for quantum algorithms
International Journal of Theoretical Physics | 2014-11-19 | Paper |
A modal logic for mixed strategies
Studia Logica | 2014-06-19 | Paper |
Characterizations of ideals in intermediate \(C\)-rings \(A(X)\) via the \(A\)-compactifications of \(X\)
International Journal of Mathematics and Mathematical Sciences | 2014-05-05 | Paper |
| Correspondences between ideals and \(z\)-filters for rings of continuous functions between \(C^*\) and \(C\) | 2014-04-02 | Paper |
\(C\) and \(C^*\) among intermediate rings
Topology Proceedings | 2013-11-20 | Paper |
Quantum Probabilistic Dyadic Second-Order Logic
Logic, Language, Information, and Computation | 2013-09-17 | Paper |
Resource bisimilarity and graded bisimilarity coincide
Information Processing Letters | 2013-04-04 | Paper |
A general framework for probabilistic characterizing formulae
Lecture Notes in Computer Science | 2012-06-15 | Paper |
Refined inversion statistics on permutations
The Electronic Journal of Combinatorics | 2012-06-12 | Paper |
Refined inversion statistics on permutations
The Electronic Journal of Combinatorics | 2012-06-12 | Paper |
Characteristic formulae for fixed-point semantics: a general framework
MSCS. Mathematical Structures in Computer Science | 2012-05-11 | Paper |
Logic for update products and steps into the past
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Dynamic epistemic temporal logic
Logic, Rationality, and Interaction | 2010-01-07 | Paper |
Extending probabilistic dynamic epistemic logic
Synthese | 2009-11-04 | Paper |
Temporal languages for epistemic programs
Journal of Logic, Language and Information | 2009-03-24 | Paper |
