research
∙
08/01/2023
A many-sorted epistemic logic for chromatic hypergraphs
We propose a many-sorted modal logic for reasoning about knowledge in mu...
share
research
∙
03/27/2023
Semi-simplicial Set Models for Distributed Knowledge
In recent years, a new class of models for multi-agent epistemic logic h...
research
∙
08/23/2021
A Simplicial Model for KB4_n: Epistemic Logic with Agents that May Die
The standard semantics of multi-agent epistemic logic S5 is based on Kri...
research
∙
05/14/2021
Translating Extensive Form Games to Open Games with Agency
We show open games cover extensive form games with both perfect and impe...
research
∙
01/26/2021
Compositional Game Theory, Compositionally
We present a new compositional approach to compositional game theory (CG...
research
∙
02/20/2020
Knowledge and simplicial complexes
Simplicial complexes are a versatile and convenient paradigm on which to...
research
∙
09/07/2019
A dynamic epistemic logic analysis of the equality negation task
In this paper we study the solvability of the equality negation task in ...
research
∙
09/10/2018
