We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to trans...
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...
Mathijs de Boer, Andreas Herzig, Tiago De Lima, Em...
In this paper, we present arguments for the need of emotion modelling and we define elements for a study in Human-Robot Interaction (HRI) using music. We also propose an adaptatio...
Thi-Hai-Ha Dang, Guillaume Hutzler, Philippe Hoppe...