| Publication | Date of Publication | Type |
|---|
| Uncertainty-based semantics for multi-agent knowing how logics | 2024-11-24 | Paper |
| First steps in updating knowing how | 2024-06-05 | Paper |
| Cautious distributed belief | 2024-06-05 | Paper |
| An Abstract Look at Awareness Models and Their Dynamics | 2024-02-28 | Paper |
| Observing interventions: a logic for thinking about experiments | 2024-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869511 | 2022-09-28 | Paper |
| Non-strict interventionism: the case of right-nested counterfactuals | 2022-07-15 | Paper |
| A Semantic Approach to Non-prioritized Belief Revision | 2022-06-16 | Paper |
| Minimal abductive solutions with explicit justification | 2022-06-16 | Paper |
| Awareness of and awareness that: their combination and dynamics | 2022-06-16 | Paper |
| BISIMULATIONS FOR KNOWING HOW LOGICS | 2022-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5071266 | 2022-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384088 | 2021-12-14 | Paper |
| Thinking about causation: a causal language with epistemic operators | 2021-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5149137 | 2021-02-06 | 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 |
| 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 |
| Towards a logical formalisation of Theory of Mind: a study on false belief tasks | 2020-01-30 | Paper |
| Introspection as an action in relational models | 2019-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224679 | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224662 | 2019-07-24 | Paper |
| Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models | 2019-07-10 | Paper |
| A logical study of group-size based social network creation | 2019-06-20 | Paper |
| Forgetting complex propositions | 2019-01-08 | Paper |
| Reliability-based preference dynamics: lexicographic upgrade | 2018-11-20 | Paper |
| Beliefs based on evidence and argumentation | 2018-10-18 | Paper |
| Beliefs supported by binary arguments | 2018-10-09 | Paper |
| Dynamic epistemic logics of introspection | 2018-04-12 | Paper |
| The creation and change of social networks: a logical study based on group size | 2018-04-12 | Paper |
| On subtler belief revision policies | 2017-11-22 | Paper |
| How to make friends: a logical approach to social group creation | 2017-11-22 | Paper |
| Syntactic awareness in logical dynamics | 2017-03-08 | Paper |
| A Note on Reliability-Based Preference Dynamics | 2015-12-17 | Paper |
| Merging Information | 2015-07-03 | Paper |
| Dynamic epistemic logic for implicit and explicit beliefs | 2015-02-27 | Paper |
| Generation and selection of abductive explanations for non-omniscient agents | 2015-02-27 | Paper |
| An epistemic and dynamic approach to abductive reasoning: selecting the best explanation | 2015-02-24 | Paper |
| Efficient Program Transformers for Translating LCC to PDL | 2015-01-14 | Paper |
| Tableaux for Non-normal Public Announcement Logic | 2015-01-09 | Paper |
| Public Announcements for Non-omniscient Agents | 2015-01-06 | Paper |
| An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution | 2014-04-17 | Paper |
| Expressivity Hierarchy of Languages for Epistemic Awareness Models | 2013-11-06 | Paper |
| Explicit and Implicit Knowledge in Neighbourhood Models | 2013-11-06 | Paper |
| The dynamics of awareness | 2011-02-25 | Paper |
| A Qualitative Approach to Uncertainty | 2010-12-17 | Paper |
| Learning and Teaching as a Game: A Sabotage Approach | 2010-01-07 | Paper |
| Twelve Angry Men: A Study on the Fine-Grain of Announcements | 2010-01-07 | Paper |
| Dynamic Logics for Explicit and Implicit Information | 2010-01-07 | Paper |
| Inference and update | 2009-11-04 | Paper |
| Expressing Belief Flow in Assertion Networks | 2009-04-24 | Paper |
