A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
Most programming languages only support tests that refer exclusively to the current state. This applies even to high-level programming languages based on the situation calculus such as Golog. ... in a first-order variant of two-way linear dynamic logic that uses ElGolog programs with converse. ... Science and Engineering Research Council of Canada. ...doi:10.1609/aaai.v34i03.5669 fatcat:hxje6o4dvbhqtg7cleiwwpxcfi