9 citations · 28 across the 9 of their papers we have counts for
9 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…
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 mult…
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…
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…
A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations
Kees van Berkel, Tim S. Lyon, Matteo Pascucci
This article proposes the use of temporal logic for an analysis of instrumentality inspired by the work of G.H. von Wright. The first part of the article contains the philosophical…
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics
Tim Lyon, Kees van Berkel
This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision pro…