research
∙
07/11/2023
An Abstract Look at Awareness Models and Their Dynamics
This work builds upon a well-established research tradition on modal log...
share
research
∙
04/03/2023
Uncertainty-Based Knowing How Logic
We introduce a novel semantics for a multi-agent epistemic operator of k...
research
∙
02/23/2023
(Arbitrary) Partial Communication
Communication within groups of agents has been lately the focus of resea...
research
∙
10/10/2022
Communication between agents in dynamic epistemic logic
This manuscript studies actions of communication between epistemic logic...
research
∙
11/25/2021
Observing Interventions: A logic for thinking about experiments
This paper makes a first step towards a logic of learning from experimen...
research
∙
06/22/2021
Uncertainty-Based Semantics for Multi-Agent Knowing How Logics
We introduce a new semantics for a multi-agent epistemic operator of kno...
research
∙
10/30/2020
Thinking About Causation: A Causal Language with Epistemic Operators
This paper proposes a formal framework for modeling the interaction of c...
research
∙
07/27/2017