4 papers
The Varieties of Ought-Implies-Can and Deontic STIT Logic
Kees van Berkel, Tim S. Lyon
STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a…
A Appropriate Probability Model for the Bell Experiment
Kees van Hee, Kees van Berkel, Jan de Graaf
The Bell inequality constrains the outcomes of measurements on pairs of distant entangled particles. The Bell contradiction states that the Bell inequality is inconsistent with the…
Experiments with Schrödinger Cellular Automata
Kees van Berkel, Jan de Graaf, Kees van Hee
We derive a class of cellular automata for the Schrödinger Hamiltonian, including scalar and vector potentials. It is based on a multi-split of the Hamiltonian, resulting in a mul…
Proof Theory and Decision Procedures for Deontic STIT Logics
Tim S. Lyon, Kees van Berkel
This paper provides a set of cut-free complete sequent-style calculi for deontic STIT ('See To It That') logics used to formally reason about choice-making, obligations, and norms…