| Publication | Date of Publication | Type |
|---|
| Formalization of cognitive-agent systems, trust, and emotions | 2024-09-11 | Paper |
| Base-based model checking for multi-agent only believing | 2024-05-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6119662 | 2024-03-22 | Paper |
| A computationally grounded logic of awareness | 2024-02-08 | Paper |
| A Qualitative Theory of Cognitive Attitudes and their Change | 2023-12-12 | Paper |
| A logic of ``black box classifier systems | 2023-06-02 | Paper |
| A logic for binary classifiers and their explanation | 2023-03-31 | Paper |
| A unified logical framework for explanations in classifier systems | 2023-03-30 | Paper |
| Reasoning about belief, evidence and trust in a multi-agent setting | 2022-11-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869234 | 2022-09-27 | Paper |
| Modelling Ceteris Paribus Preferences with Deontic Logic | 2022-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5018521 | 2021-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5016798 | 2021-12-14 | Paper |
| Grounding awareness on belief bases | 2021-12-01 | Paper |
| A computationally grounded logic of graded belief | 2021-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5157026 | 2021-10-12 | Paper |
| Games of influence | 2021-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4999277 | 2021-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993607 | 2021-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993609 | 2021-06-15 | Paper |
| Possible Worlds Semantics Based on Observation and Communication | 2020-07-24 | Paper |
| Rethinking epistemic logic with belief bases | 2020-03-27 | Paper |
| Reasoning about cognitive attitudes in a qualitative setting | 2020-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5197391 | 2019-09-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224804 | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224900 | 2019-07-24 | Paper |
| The dynamics of epistemic attitudes in resource-bounded agents | 2019-07-03 | Paper |
| Temporal logic and its application to normative reasoning | 2018-08-28 | Paper |
| The Long-Term Benefits of Following Fairness Norms under Dynamics of Learning and Evolution | 2018-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5283019 | 2017-07-18 | Paper |
| A logic for reasoning about moral agents | 2017-04-03 | Paper |
| A minimal logic for interactive epistemology | 2017-03-14 | Paper |
| Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces | 2017-03-14 | Paper |
| Decidability and Expressivity of Ockhamist Propositional Dynamic Logics | 2016-11-30 | Paper |
| An Epistemic Logic of Extensive Games | 2016-10-07 | Paper |
| A STIT logic for reasoning about social influence | 2016-09-07 | Paper |
| Announcements to attentive agents | 2016-07-04 | Paper |
| A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation | 2015-12-17 | Paper |
| The Ceteris Paribus Structure of Logics of Game Forms | 2015-05-28 | Paper |
| A modal logic of epistemic games | 2015-05-19 | Paper |
| Three Traditions in the Logic of Action: Bringing them Together | 2015-04-10 | Paper |
| A logical analysis of responsibility attribution: emotions, individuals and collectives | 2015-01-19 | Paper |
| On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes | 2014-03-24 | Paper |
| Listen to Me! Public Announcements to Agents That Pay Attention — or Not | 2013-11-06 | Paper |
| Reasoning about Actions Meets Strategic Logics | 2013-11-06 | Paper |
| Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL* | 2013-09-17 | Paper |
| Grounding power on actions and mental attitudes | 2013-06-11 | Paper |
| On the Logical Foundations of Moral Agency | 2012-11-02 | Paper |
| A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions | 2012-11-02 | Paper |
| From self-regarding to other-regarding agents in strategic games: a logical analysis | 2012-07-17 | Paper |
| A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling | 2011-10-19 | Paper |
| A Modal Framework for Relating Belief and Signed Information | 2011-09-16 | Paper |
| A Dynamic Logic of Institutional Actions | 2011-09-16 | Paper |
| A logic for reasoning about counterfactual emotions | 2011-06-17 | Paper |
| A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory | 2010-10-06 | Paper |
| A Logical Analysis of Commitment Dynamics | 2010-09-29 | Paper |
| On the dynamics of institutional agreements | 2010-05-10 | Paper |
| A logic of trust and reputation | 2010-04-08 | Paper |
| A dynamic logic of agency. I: STIT, capabilities and powers | 2010-03-05 | Paper |
| Tableaux for Acceptance Logic | 2010-02-02 | Paper |
| The Logic of Acceptance: Grounding Institutions on Agents' Attitudes | 2010-01-14 | Paper |
| Dynamic Context Logic | 2010-01-07 | Paper |
| Intentions and Assignments | 2010-01-07 | Paper |
| Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together | 2010-01-07 | Paper |
| On the Dynamics of Institutional Agreements | 2009-11-12 | Paper |
| From Trust in Information Sources to Trust in Communication Systems:An Analysis in Modal Logic | 2009-11-12 | Paper |
| Introducing Attempt in a Modal Logic of Intentional Action | 2008-10-30 | Paper |
| Trust and Norms in the Context of Computer Security: A Logical Formalization | 2008-08-28 | Paper |
| A logic of intention and attempt | 2008-07-30 | Paper |
| The cognitive structure of surprise: looking for basic principles | 2007-11-14 | Paper |
