research
∙
04/16/2022
A Logical Analysis of Dynamic Dependence
Many forms of dependence manifest themselves over time, with behavior of...
share
research
∙
03/13/2022
Logics for Epistemic Actions: Completeness, Decidability, Expressivity
We consider dynamic versions of epistemic logic as formulated in Baltag ...
research
∙
10/04/2021
LQP: The Dynamic Logic of Quantum Information
The main contribution of this paper is the introduction of a dynamic log...
research
∙
09/15/2021
Learning What Others Know
We propose a number of powerful dynamic-epistemic logics for multi-agent...
research
∙
09/14/2021
The Logic of Quantum Programs
We present a logical calculus for reasoning about information flow in qu...
research
∙
05/18/2021
The Topological Mu-Calculus: completeness and decidability
We study the topological μ-calculus, based on both Cantor derivative and...
research
∙
03/27/2021
A Simple Logic of Functional Dependence
This paper presents a simple decidable logic of functional dependence LF...
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
∙
07/22/2019
Learning Probabilities: Towards a Logic of Statistical Learning
We propose a new model for forming beliefs and learning about unknown pr...
research
∙
03/27/2015