23 citations · 42 across the 12 of their papers we have counts for
1 paper · 1 filter
Dominik Klein, Rasmus K. Rendsvig
In this note, we show the class of finite, epistemic programs to be Turing complete. Epistemic programs is a widely used update mechanism used in epistemic logic, where it such are…