research
∙
05/25/2023
Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability
The logic of the hide and seek game LHS was proposed to reason about sea...
research
∙
04/16/2022
A Logical Analysis of Dynamic Dependence
Many forms of dependence manifest themselves over time, with behavior of...
research
∙
09/18/2019
On the Right Path: A Modal Logic for Supervised Learning
Formal learning theory formalizes the process of inferring a general res...
research
∙
11/13/2018
Losing Connection:the Modal Logic of Definable Link Deletion
In this article, we start with a two-player game that models communicati...
research
∙
11/13/2018