| Publication | Date of Publication | Type |
|---|
| Tracking probabilistic truths: a logic for statistical learning | 2024-02-01 | Paper |
| Causal agency and responsibility: a refinement of STIT logic | 2022-10-25 | Paper |
| Further Steps Towards a Logic of Polarization in Social Networks | 2022-08-30 | Paper |
| Non-strict interventionism: the case of right-nested counterfactuals | 2022-07-15 | Paper |
| Social bot detection as a temporal logic model checking problem | 2022-06-24 | Paper |
| Modal Logics and Group Polarization | 2022-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5018501 | 2021-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384088 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015385 | 2021-12-07 | Paper |
| Thinking about causation: a causal language with epistemic operators | 2021-12-01 | Paper |
| A complete axiomatisation for the logic of lattice effect algebras | 2021-11-05 | Paper |
| Learning What Others Know | 2021-09-15 | Paper |
| A logical analysis of the interplay between social influence and friendship selection | 2020-07-08 | Paper |
| A closeness- and priority-based logical study of social network creation | 2020-05-27 | Paper |
| Analyzing echo chambers: a logic of strong and weak ties | 2020-01-30 | Paper |
| Bipolar argumentation frameworks, modal logic and semantic paradoxes | 2020-01-30 | Paper |
| A logical and empirical study of right-nested counterfactuals | 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 |
| https://portal.mardi4nfdi.de/entity/Q5224679 | 2019-07-24 | Paper |
| Dynamic epistemic logics of diffusion and prediction in social networks | 2019-07-03 | Paper |
| A logical study of group-size based social network creation | 2019-06-20 | Paper |
| A topological approach to full belief | 2019-06-17 | Paper |
| Beliefs based on evidence and argumentation | 2018-10-18 | Paper |
| The effort of reasoning: modelling the inference steps of boundedly rational agents | 2018-10-18 | Paper |
| Beliefs supported by binary arguments | 2018-10-09 | Paper |
| A Complete Axiomatisation for the Logic of Lattice Effect Algebras | 2018-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636032 | 2018-04-23 | Paper |
| The creation and change of social networks: a logical study based on group size | 2018-04-12 | Paper |
| A dynamic logic for learning theory | 2018-04-12 | Paper |
| Modeling correlated information change: from conditional beliefs to quantum conditionals | 2018-02-27 | Paper |
| A logical analysis of quantum voting protocols | 2018-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4599502 | 2018-01-03 | Paper |
| How to make friends: a logical approach to social group creation | 2017-11-22 | 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/Q2939505 | 2015-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2939553 | 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 |
| https://portal.mardi4nfdi.de/entity/Q2851835 | 2013-10-04 | Paper |
| Quantum Probabilistic Dyadic Second-Order Logic | 2013-09-17 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4648827 | 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 |
| 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 |
| In defense of operational quantum logic | 2007-09-24 | Paper |
| The modes of physical properties in the logical foundations of physics | 2007-09-24 | Paper |
| Complete axiomatizations for quantum actions | 2007-01-29 | Paper |
| LQP: the dynamic logic of quantum information | 2006-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711870 | 2005-12-08 | Paper |
| The Sasaki hook is not a [static implicative connective but induces a backward [in time] dynamic one that assigns causes] | 2005-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4811782 | 2004-09-06 | Paper |
| The liar-paradox in a quantum mechanical perspective | 2003-01-13 | Paper |
| A quantum structure description of the liar paradox | 2002-08-21 | Paper |
| A logical description for perfect measurements | 2001-02-25 | Paper |
| Logic meets Wigner's Friend (and their Friends) | 0001-01-03 | Paper |
