| Publication | Date of Publication | Type |
|---|
| Conditional obligations in justification logic | 2024-02-28 | Paper |
| Modal and justification logics for multi-agent systems (invited talk) | 2024-01-16 | Paper |
| Providing personalized explanations: a conversational approach | 2024-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5883187 | 2023-03-29 | Paper |
| A logic of knowing why | 2023-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5878369 | 2023-02-21 | Paper |
| A Conflict Tolerant Logic of Explicit Evidence | 2023-01-16 | Paper |
| A logic of interactive proofs | 2023-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5049154 | 2022-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869606 | 2022-09-28 | Paper |
| Semirings of Evidence | 2022-08-30 | Paper |
| Incomplete Information and Justifications | 2022-08-11 | Paper |
| A logic of interactive proofs | 2022-07-01 | Paper |
| Explicit non-normal modal logic | 2022-06-24 | Paper |
| Justification Logics with Probability Operators | 2022-01-27 | Paper |
| Semirings of Evidence | 2022-01-03 | Paper |
| Logic and applications -- LAP meeting | 2021-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5854738 | 2021-03-17 | Paper |
| A logic of blockchain updates | 2020-12-15 | Paper |
| The Proof Theory of Common Knowledge | 2020-07-24 | Paper |
| Belief expansion in subset models | 2020-05-06 | Paper |
| Probabilistic justification logic | 2020-04-29 | Paper |
| Cyclic Proofs for Linear Temporal Logic | 2020-04-03 | Paper |
| Relationale Datenbanken | 2020-04-03 | Paper |
| Subset models for justification logic | 2020-03-04 | Paper |
| Bayesian confirmation and justifications | 2020-02-20 | 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 |
| Public announcements for epistemic models and hypertheories | 2020-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5232011 | 2019-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224584 | 2019-07-24 | Paper |
| Subset models for justification logic | 2019-02-07 | Paper |
| Self-referentiality in Justification Logic | 2019-02-04 | Paper |
| Justifying induction on modal -formulae | 2019-01-08 | Paper |
| First steps towards probabilistic justification logic | 2019-01-08 | Paper |
| Weak arithmetical interpretations for the Logic of Proofs | 2019-01-08 | Paper |
| A logic of blockchain updates | 2018-04-06 | Paper |
| Justification logic with approximate conditional probabilities | 2017-11-22 | Paper |
| Probabilistic Justification Logic | 2017-07-21 | Paper |
| Two Ways to Common Knowledge | 2016-08-05 | Paper |
| Modular Models for Intuitionistic Justification Logic | 2016-04-25 | Paper |
| Update as Evidence: Belief Expansion | 2015-12-11 | Paper |
| Justified Terminological Reasoning | 2015-12-07 | Paper |
| Justification logic enjoys the strong finite model property | 2015-06-23 | Paper |
| Syntactic Cut-elimination for Common Knowledge | 2015-03-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419893 | 2014-06-11 | Paper |
| Realizing public announcements by justifications | 2014-06-10 | Paper |
| A universal approach to guarantee data privacy | 2013-08-06 | Paper |
| Decidability for some justification logics with negative introspection | 2013-06-24 | Paper |
| Decidability for Justification Logics Revisited | 2013-04-12 | Paper |
| A Buchholz rule for modal fixed point logics | 2013-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4904077 | 2013-01-28 | Paper |
| Syntactic cut-elimination for a fragment of the modal mu-calculus | 2012-10-11 | Paper |
| Justifications for common knowledge | 2012-07-17 | Paper |
| Partial Realization in Dynamic Justification Logic | 2011-05-27 | Paper |
| Common knowledge does not have the Beth property | 2010-08-16 | Paper |
| A Formal Model of Data Privacy | 2010-02-02 | Paper |
| Privacy Preserving Modules for Ontologies | 2010-02-02 | Paper |
| Syntactic cut-elimination for common knowledge | 2009-06-17 | Paper |
| On the proof theory of the modal mu-calculus | 2009-03-17 | Paper |
| Data Privacy for $\mathcal{ALC}$ Knowledge Bases | 2009-02-24 | Paper |
| Canonical completeness of infinitary \(\mu \) | 2008-09-01 | Paper |
| On contraction and the modal fragment | 2008-08-15 | Paper |
| Cut-free common knowledge | 2008-03-11 | Paper |
| Total Public Announcements | 2008-01-04 | Paper |
| Deduction chains for common knowledge | 2006-10-10 | Paper |
| Explicit mathematics: power types and overloading | 2005-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436035 | 2003-11-23 | Paper |
| A Semantics for : a Calculus with Overloading and Late-binding | 2003-05-22 | Paper |
| Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms | 2003-01-07 | Paper |
| Formalizing non-termination of recursive programs | 2002-05-21 | Paper |
| Universes in explicit mathematics | 2002-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753685 | 2001-11-11 | Paper |
| How to normalize the Jay | 2001-08-20 | Paper |
