| Publication | Date of Publication | Type |
|---|
| Reasoning about knowledge and conditional probability | 2023-12-12 | Paper |
| Intuitionistic propositional probability logic | 2023-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6173573 | 2023-07-21 | Paper |
| Probability logics for reasoning about quantum observations | 2023-07-11 | Paper |
| A logic of interactive proofs | 2023-01-04 | Paper |
| Tableau for the logic ILP | 2022-12-08 | Paper |
| Reasoning About Degrees of Confirmation | 2022-08-30 | Paper |
| Incomplete Information and Justifications | 2022-08-11 | Paper |
| A logic of interactive proofs | 2022-07-01 | Paper |
| Logics with Probability Operators | 2022-01-27 | Paper |
| Probabilistic Modeling of Default Reasoning | 2022-01-27 | Paper |
| Logics for reasoning about degrees of confirmation | 2022-01-03 | Paper |
| An epistemic probabilistic logic with conditional probabilities | 2021-12-01 | Paper |
| Automated non-monotonic reasoning in System \textbf{P} | 2021-08-02 | Paper |
| Logic and applications -- LAP meeting | 2021-07-08 | Paper |
| A Probabilistic Temporal Epistemic Logic | 2021-05-26 | Paper |
| Towards probabilistic reasoning in type theory -- the intersection type case | 2020-10-26 | Paper |
| A First-order Logic for Reasoning about Knowledge and Probability | 2020-09-11 | Paper |
| Multi-agent logics for reasoning about higher-order upper and lower probabilities | 2020-05-27 | Paper |
| Probabilistic justification logic | 2020-04-29 | Paper |
| Probabilistic consensus of the blockchain protocol | 2020-02-20 | Paper |
| A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | 2020-02-03 | Paper |
| Completeness theorems for \(\sigma \)-additive probabilistic semantics | 2020-01-30 | Paper |
| First steps towards probabilistic justification logic | 2019-01-08 | Paper |
| Proving properties of the Chord protocol using the ASM formalism | 2019-01-02 | Paper |
| A protocol for provably secure authentication of a tiny entity to a high performance computing one | 2018-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4583726 | 2018-09-03 | Paper |
| A decidable multi-agent logic with iterations of upper and lower probability operators | 2018-06-26 | Paper |
| Probabilistic reasoning about simply typed lambda terms | 2018-04-06 | Paper |
| Probabilistic logics with independence and confirmation | 2017-12-14 | Paper |
| Leibniz, a Sorb | 2017-12-08 | Paper |
| Justification logic with approximate conditional probabilities | 2017-11-22 | Paper |
| Logics with lower and upper probability operators | 2017-10-20 | Paper |
| A first-order logic for reasoning about higher-order upper and lower probabilities | 2017-09-05 | Paper |
| Probabilistic Justification Logic | 2017-07-21 | Paper |
| On evaluations of propositional formulas in countable structures | 2017-07-19 | Paper |
| Complex valued probability logics | 2017-03-14 | Paper |
| \(p\)-adic probability logics | 2016-11-22 | Paper |
| Probability Logics | 2016-11-15 | Paper |
| Probabilistic Common Knowledge Among Infinite Number of Agents | 2015-11-10 | Paper |
| Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers | 2015-06-18 | Paper |
| A first-order probabilistic logic with approximate conditional probabilities | 2015-02-12 | Paper |
| A first-order conditional probability logic with iterations | 2014-11-14 | Paper |
| Hierarchies of probabilistic logics | 2014-10-23 | Paper |
| Conditional \(p\)-adic probability logic | 2014-10-23 | Paper |
| A propositional linear time logic with time flow isomorphic to \(\omega^2\) | 2014-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5396490 | 2014-02-07 | Paper |
| A First-Order Dynamic Probability Logic | 2013-08-05 | Paper |
| Probabilistic logics for objects located in space and time | 2013-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4924965 | 2013-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4924994 | 2013-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4928167 | 2013-06-10 | Paper |
| A propositional probabilistic logic with discrete linear time for reasoning about evidence | 2013-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2913981 | 2012-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2913985 | 2012-09-21 | Paper |
| A p-adic probability logic | 2012-09-12 | Paper |
| A first-order conditional probability logic | 2012-08-01 | 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 |
| Digitization of mathematical editions in Serbia | 2011-02-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3069416 | 2011-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4929426 | 2010-09-22 | Paper |
| Measures of inconsistency and defaults | 2010-09-02 | Paper |
| A logic with approximate conditional probabilities that can model default reasoning | 2010-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3398154 | 2009-09-25 | Paper |
| Qualitative Possibilities and Necessities | 2009-07-02 | Paper |
| Interpolative Boolean Logic | 2008-11-04 | Paper |
| How to Restore Compactness into Probabilistic Logics? | 2008-10-27 | Paper |
| Measure Logic | 2008-09-16 | Paper |
| A logic with higher order conditional probabilities | 2008-07-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3500151 | 2008-06-03 | Paper |
| Logics with the Qualitative Probability Operator | 2008-05-05 | Paper |
| Completeness theorem for a logic with imprecise and conditional probabilities | 2008-03-20 | Paper |
| A Probabilistic Logic with Polynomial Weight Formulas | 2008-03-04 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity | 2006-07-03 | Paper |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2006-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3369026 | 2006-02-13 | Paper |
| Artificial Intelligence and Soft Computing - ICAISC 2004 | 2005-04-12 | Paper |
| Completeness theorem for propositional probabilistic models whose measures have only finite ranges | 2004-12-16 | Paper |
| An intuitionistic logic with probabilistic operators | 2004-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4451504 | 2004-02-26 | Paper |
| A probabilistic extension of intuitionistic logic | 2003-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708432 | 2003-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4806141 | 2003-05-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4795396 | 2003-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4784887 | 2002-12-12 | Paper |
| Some first-order probability logics | 2000-10-26 | Paper |
| Some probability logics with new types of probability operators | 1999-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4378240 | 1998-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4379585 | 1998-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3123584 | 1997-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3123580 | 1997-04-24 | Paper |
| A tableau-like proof procedure for normal modal logics | 1995-01-29 | Paper |
