9 citations · 28 across the 9 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
quant-ph2024★ 1 cited
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…
cs.LO2024
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…