Authors
P. Blackburn
J. Kamps
M.J. Marx
Date (dd-mm-yyyy)
2001
Title
Situation calculus as hybrid logic: First steps
Publication Year
2001
Publisher
AmsterdamInstitute for Logic, Language and Computation
Document type
Working paper
Permalink
https://hdl.handle.net/11245/1.194001