Temporal Logic. From Ancient Ideas to Artificial Intelligence,by Peter Ohrstrom and Per F.V. Hasle (book review)

Publication
THE JOURNAL OF SYMBOLIC LOGIC

Related