temporal logics

The glossary is being gradually proof checked, but currently has many typos and misspellings.

This entry does not have additional information yet, but will be completed soon. Keep on eye on the Artificial Intelligence website for updates.

Used in Chap. 2: page 24