| Publication | Date of Publication | Type |
|---|
| Predictive theory of mind models based on public announcement logic | 2024-05-29 | Paper |
| Solutions to the knower paradox in the light of Haack's criteria | 2023-08-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884932 | 2023-03-24 | Paper |
| Estimating the use of higher-order theory of mind using computational agents | 2022-11-22 | Paper |
| Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions | 2022-09-08 | Paper |
| How knowledge triggers obligation. A dynamic logic of epistemic conditional obligation | 2022-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384074 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015390 | 2021-12-07 | Paper |
| A discussion game for the grounded semantics of abstract dialectical frameworks | 2021-01-21 | Paper |
| Studying strategies and types of players: experiments, logics and cognitive models | 2021-01-18 | Paper |
| Discussion games for preferred semantics of abstract dialectical frameworks | 2020-02-20 | Paper |
| An automated method for building cognitive models for turn-based games from a strategy logic | 2018-12-10 | Paper |
| Evolution of altruistic punishment in heterogeneous populations | 2018-09-25 | Paper |
| Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models | 2015-12-17 | Paper |
| Hidden protocols: modifying our expectations in an evolving world | 2015-08-27 | Paper |
| Logic and Complexity in Cognitive Science | 2015-05-11 | Paper |
| Strategic reasoning: building cognitive models from logical formulas | 2015-02-09 | Paper |
| How much does it help to know what she knows you know? An agent-based simulation study | 2014-04-17 | Paper |
| The rules of the game are changing: Scientific impact factors and publication strategies among logicians | 2011-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2998377 | 2011-05-18 | Paper |
| Intermediate logics and the de Jongh property | 2011-03-02 | Paper |
| A communication algorithm for teamwork in multi-agent environments | 2010-03-10 | Paper |
| Logic and social cognition. The facts matter, and so do computational models | 2010-01-15 | Paper |
| Erratum to: ``Strong completeness and limited canonicity for PDL | 2009-05-04 | Paper |
| Children's application of theory of mind in reasoning and language | 2009-03-24 | Paper |
| Strong completeness and limited canonicity for PDL | 2009-03-24 | Paper |
| Sum and Product in Dynamic Epistemic Logic | 2008-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3425580 | 2007-02-26 | Paper |
| Hybrid Logics with Infinitary Proof Systems | 2006-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5701512 | 2005-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5695989 | 2005-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681377 | 2005-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813429 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473073 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4433624 | 2004-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4453924 | 2004-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4779593 | 2002-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535123 | 2002-06-12 | Paper |
| Creating collective intention through dialogue | 2001-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4850557 | 1996-05-02 | Paper |
| A qualitative fuzzy possibilistic logic | 1995-08-27 | Paper |
| A small reflection principle for bounded arithmetic | 1995-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3140645 | 1993-11-28 | Paper |
| On the provability logic of bounded arithmetic | 1993-09-22 | Paper |
