Publication | Date of Publication | Type |
---|
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 |
Minimal abductive solutions with explicit justification | 2022-06-16 | Paper |
Awareness of and awareness that: their combination and dynamics | 2022-06-16 | Paper |
A Semantic Approach to Non-prioritized Belief Revision | 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/Q5224662 | 2019-07-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q5224679 | 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 |
Explicit and Implicit Knowledge in Neighbourhood Models | 2013-11-06 | Paper |
Expressivity Hierarchy of Languages for Epistemic Awareness 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 |