| Publication | Date of Publication | Type |
|---|
| Compositionality in context | 2024-10-01 | Paper |
| Logic meets Wigner's friend (and their friends) | 2024-07-10 | Paper |
| Tracking probabilistic truths: a logic for statistical learning | 2024-02-01 | Paper |
| Arbitrary public announcement logic with memory | 2023-02-24 | Paper |
| Causal agency and responsibility: a refinement of STIT logic | 2022-10-25 | Paper |
| Topological Evidence Logics: Multi-agent Setting | 2022-08-11 | Paper |
| A modal logic for supervised learning | 2022-07-15 | Paper |
| Logics for Epistemic Actions: Completeness, Decidability, Expressivity | 2022-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5018501 | 2021-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015385 | 2021-12-07 | Paper |
| A simple logic of functional dependence | 2021-11-04 | Paper |
| Learning What Others Know | 2021-09-15 | Paper |
| A Simple Logic of Functional Dependence | 2021-03-27 | Paper |
| The logic of AGM learning from partial observations | 2020-07-08 | Paper |
| The Mckinsey-Tarski theorem for topological evidence logics | 2020-03-04 | Paper |
| The probabilistic logic of communication and change | 2020-02-13 | Paper |
| On the right path: a modal logic for supervised learning | 2020-01-30 | Paper |
| The topology of full and weak belief | 2020-01-15 | Paper |
| Truth-tracking by belief revision | 2019-11-29 | Paper |
| A dynamic logic for learning theory | 2019-11-28 | Paper |
| Dynamic epistemic logics of diffusion and prediction in social networks | 2019-07-03 | Paper |
| A topological approach to full belief | 2019-06-17 | Paper |
| APAL with memory Is better | 2018-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636032 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636030 | 2018-04-23 | Paper |
| A dynamic logic for learning theory | 2018-04-12 | Paper |
| Bisimulation for conditional modalities | 2018-04-04 | Paper |
| Modeling correlated information change: from conditional beliefs to quantum conditionals | 2018-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4599502 | 2018-01-03 | Paper |
| Evidence logics with relational evidence | 2017-11-22 | Paper |
| Quotient dynamics: the logic of abstraction | 2017-11-22 | Paper |
| Topo-logic as a dynamic-epistemic logic | 2017-11-22 | Paper |
| The Logic of Public Announcements, Common Knowledge, and Private Suspicions | 2017-04-07 | Paper |
| A Qualitative Theory of Dynamic Interactive Belief Revision | 2017-04-07 | Paper |
| Correlated information: a logic for multi-partite quantum systems | 2016-10-07 | Paper |
| Justified Belief and the Topology of Evidence | 2016-09-09 | Paper |
| Logics of informational interactions | 2016-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5249663 | 2015-05-11 | Paper |
| DDL as an “Internalization” of Dynamic Belief Revision | 2015-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2939553 | 2015-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2939505 | 2015-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2939550 | 2015-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2939556 | 2015-01-22 | Paper |
| PLQP \& Company: decidable logics for quantum algorithms | 2014-11-19 | Paper |
| The logic of justified belief, explicit knowledge, and conclusive evidence | 2014-01-13 | Paper |
| The dynamic turn in quantum logic | 2013-11-25 | Paper |
| The Topology of Belief, Belief Revision and Defeasible Knowledge | 2013-11-06 | Paper |
| The algebra of multi-agent dynamic belief revision | 2013-10-07 | Paper |
| Algebra and sequent calculus for epistemic actions | 2013-09-25 | Paper |
| Quantum Probabilistic Dyadic Second-Order Logic | 2013-09-17 | Paper |
| A coalgebraic semantics for epistemic programs | 2013-08-23 | Paper |
| Protocols for belief merge: Reaching agreement via communication | 2013-06-11 | Paper |
| Conditional doxastic models: a qualitative approach to dynamic belief revision | 2013-05-03 | Paper |
| A Dynamic-Epistemic Logic for Mobile Structured Agents | 2012-12-17 | Paper |
| A qualitative theory of dynamic interactive belief revision | 2012-11-16 | Paper |
| Keep changing your beliefs, aiming for the truth | 2012-11-15 | Paper |
| The logic of justified belief change, soft evidence and defeasible knowledge | 2012-09-21 | Paper |
| Quantum logic as a dynamic logic | 2011-06-08 | Paper |
| Correlated knowledge: an epistemic-logic view on quantum entanglement | 2011-01-12 | Paper |
| `Knowable' as `known after an announcement' | 2010-08-13 | Paper |
| Keep `hoping' for rationality: a solution to the backward induction paradox | 2009-11-04 | Paper |
| Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points | 2009-07-02 | Paper |
| Probabilistic dynamic belief revision | 2009-06-16 | Paper |
| A dynamic-logical perspective on quantum behavior | 2008-09-02 | Paper |
| Epistemic Actions as Resources | 2007-12-12 | Paper |
| Complete axiomatizations for quantum actions | 2007-01-29 | Paper |
| Logics for epistemic programs | 2006-10-24 | Paper |
| LQP: the dynamic logic of quantum information | 2006-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329230 | 2002-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499313 | 2001-03-05 | Paper |
| Interpolation and preservation for pebble logics | 2000-02-15 | Paper |
| STS: a structural theory of sets | 1999-11-01 | Paper |
| Dependence Logics in Temporal Settings | N/A | Paper |
| Logic meets Wigner's Friend (and their Friends) | N/A | Paper |
| Knowability as continuity: a topological account of informational dependence | N/A | Paper |
