| Publication | Date of Publication | Type |
|---|
| Probability logics for reasoning about quantum observations | 2023-07-11 | Paper |
| Tableau for the logic ILP | 2022-12-08 | Paper |
| Probabilistic Temporal Logics | 2022-01-27 | Paper |
| Applications of Logics About Simple Probabilities | 2022-01-27 | Paper |
| A Probabilistic Temporal Epistemic Logic | 2021-05-26 | Paper |
| Completeness theorems for \(\sigma \)-additive probabilistic semantics | 2020-01-30 | Paper |
| Generalization of Portmanteau theorem for a sequence of interval-valued pseudo-probability measures | 2019-10-16 | Paper |
| A protocol for provably secure authentication of a tiny entity to a high performance computing one | 2018-10-12 | Paper |
| Inequalities of the Chebyshev type based on pseudo-integrals | 2017-11-13 | Paper |
| Inequalities of Hölder and Minkowski type for pseudo-integrals with respect to interval-valued \(\oplus\)-measures | 2017-08-09 | Paper |
| On evaluations of propositional formulas in countable structures | 2017-07-19 | Paper |
| A premium principle based on the g-integral | 2017-05-16 | Paper |
| \(p\)-adic probability logics | 2016-11-22 | Paper |
| Hierarchies of probabilistic logics | 2014-10-23 | Paper |
| GPFCSP Systems: Definition and Formalization | 2014-06-30 | Paper |
| A propositional linear time logic with time flow isomorphic to \(\omega^2\) | 2014-04-24 | Paper |
| A First-Order Dynamic Probability Logic | 2013-08-05 | Paper |
| A propositional probabilistic logic with discrete linear time for reasoning about evidence | 2013-01-04 | Paper |
| A logic with conditional probability operators | 2012-09-21 | Paper |
| A p-adic probability logic | 2012-09-12 | Paper |
| Formalising PFSQL queries using ŁΠ fuzzy logic | 2012-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3105881 | 2011-12-19 | Paper |
| Probabilistic Approach to Nonmonotonic Consequence Relations | 2011-06-29 | Paper |
| Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm | 2011-05-02 | Paper |
| Qualitative Possibilities and Necessities | 2009-07-02 | Paper |
| Infinitesimals in Nonstandard Analysis versus Infinitesimals in p-Adic Fields | 2009-01-22 | Paper |
| Interpolative Boolean Logic | 2008-11-04 | Paper |
| How to Restore Compactness into Probabilistic Logics? | 2008-10-27 | Paper |
| Sums of like powers and some dense sets | 2008-07-02 | Paper |
| Forcing with propositional Lindenbaum algebras | 2008-07-02 | Paper |
| Contrapunctus of the continuum problem and the measure problem | 2008-07-02 | Paper |
| Logics with the Qualitative Probability Operator | 2008-05-05 | Paper |
| Ideal membership in signomial rings | 2008-03-28 | Paper |
| A Probabilistic Logic with Polynomial Weight Formulas | 2008-03-04 | Paper |
| A Method of Generating Sums of Like Powers | 2005-11-15 | Paper |
| Some Properties of Posynomial Rings | 2005-06-26 | Paper |
