Cover Image
Read Now

1
by Blackburn, Patrick
Published 2007
Elsevier
Table of Contents: “... and Extensions -- Modal Logic in Mathematics (S. Artemov) -- Automata-theoretic Techniques for Temporal Reasoning...”