Publication | Closed Access

Non-terminating processes in the situation calculus