research
∙
10/04/2021
LQP: The Dynamic Logic of Quantum Information
The main contribution of this paper is the introduction of a dynamic log...
share
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
∙
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/22/2019
Learning Probabilities: Towards a Logic of Statistical Learning
We propose a new model for forming beliefs and learning about unknown pr...
research
∙
07/27/2017
Argument-based Belief in Topological Structures
This paper combines two studies: a topological semantics for epistemic n...
research
∙
03/27/2015
