Within situation calculus, write an axiom to associate tirne 0 with the situation So and another axiom

Question:

Within situation calculus, write an axiom to associate tirne 0 with the situation So and another axiom to associate the time t with any situation that is derived from So by a sequence of t actions.

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: