| 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
Electronic Proceedings in Theoretical Computer Science | 2024-02-28 | Paper |
Observing interventions: a logic for thinking about experiments
Journal Of Logic And Computation | 2024-02-08 | Paper |
| Tuning the program transformers from CC to PDL | 2022-09-28 | Paper |
Non-strict interventionism: the case of right-nested counterfactuals
Journal of Logic, Language and Information | 2022-07-15 | Paper |
A semantic approach to non-prioritized belief revision
Logic Journal of the IGPL | 2022-06-16 | Paper |
Minimal abductive solutions with explicit justification
Logic Journal of the IGPL | 2022-06-16 | Paper |
\textit{Awareness of} and \textit{awareness that}: their combination and dynamics
Logic Journal of the IGPL | 2022-06-16 | Paper |
BISIMULATIONS FOR KNOWING HOW LOGICS
The Review of Symbolic Logic | 2022-05-25 | Paper |
| scientific article; zbMATH DE number 7510736 (Why is no real title available?) | 2022-04-20 | Paper |
| Argument-based belief in topological structures | 2021-12-14 | Paper |
Argument-based belief in topological structures
(available as arXiv preprint) | 2021-12-14 | Paper |
| Thinking about causation: a causal language with epistemic operators | 2021-12-01 | Paper |
Thinking about causation: a causal language with epistemic operators
(available as arXiv preprint) | 2021-12-01 | Paper |
| A formal model for explicit knowledge as awareness-of plus awareness-that | 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
Journal of Logic, Language and Information | 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
Journal of Logical and Algebraic Methods in Programming | 2019-11-28 | Paper |
| A logical perspective on social group creation | 2019-07-24 | Paper |
| Reconsidering the `ingredients' of explicit knowledge | 2019-07-24 | Paper |
Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models
Journal Of Logic And Computation | 2019-07-10 | Paper |
A logical study of group-size based social network creation
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
Forgetting complex propositions
Logic Journal of the IGPL | 2019-01-08 | Paper |
Reliability-based preference dynamics: lexicographic upgrade
Journal Of Logic And Computation | 2018-11-20 | Paper |
| Beliefs based on evidence and argumentation | 2018-10-18 | Paper |
Beliefs supported by binary arguments
Journal of Applied Non-Classical Logics | 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
Synthese | 2017-03-08 | Paper |
A Note on Reliability-Based Preference Dynamics
Logic, Rationality, and Interaction | 2015-12-17 | Paper |
Merging information
Games, Norms and Reasons | 2015-07-03 | Paper |
Dynamic epistemic logic for implicit and explicit beliefs
Journal of Logic, Language and Information | 2015-02-27 | Paper |
Generation and selection of abductive explanations for non-omniscient agents
Journal of Logic, Language and Information | 2015-02-27 | Paper |
An epistemic and dynamic approach to abductive reasoning: selecting the best explanation
Logic Journal of the IGPL | 2015-02-24 | Paper |
Efficient program transformers for translating \(\mathsf {LCC}\) to \(\mathsf {PDL}\)
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Tableaux for non-normal public announcement logic
Logic and Its Applications | 2015-01-09 | Paper |
Public announcements for non-omniscient agents
Logic and Its Applications | 2015-01-06 | Paper |
An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution
Journal of Applied Logic | 2014-04-17 | Paper |
Expressivity Hierarchy of Languages for Epistemic Awareness Models
Logic, Rationality, and Interaction | 2013-11-06 | Paper |
Explicit and implicit knowledge in neighbourhood models
Logic, Rationality, and Interaction | 2013-11-06 | Paper |
The dynamics of awareness
Synthese | 2011-02-25 | Paper |
A qualitative approach to uncertainty
Logic and Its Applications | 2010-12-17 | Paper |
Learning and teaching as a game: A sabotage approach
Logic, Rationality, and Interaction | 2010-01-07 | Paper |
Twelve Angry Men: A Study on the Fine-Grain of Announcements
Logic, Rationality, and Interaction | 2010-01-07 | Paper |
Dynamic logics for explicit and implicit information
Logic, Rationality, and Interaction | 2010-01-07 | Paper |
Inference and update
Synthese | 2009-11-04 | Paper |
Expressing Belief Flow in Assertion Networks
Logic, Language, and Computation | 2009-04-24 | Paper |
