Temporal Logics (Elements in Philosophy and Logic)
from $26.92
Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing
from $46.99
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
$46.71
from $44.50
Temporal Logic (LEP Library of Exact Philosophy Book 3)
from $79.99
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2
from $69.99
Temporal Type Theory (Progress in Computer Science and Applied Logic, 29)
from $65.42
The Temporal Logic of Reactive and Concurrent Systems: Specification
$90.80
from $38.00
An Introduction to Practical Formal Methods Using Temporal Logic
from $127.00
Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in Theoretical Computer Science, Series Number 58)
$92.38
from $59.46
Kripke’s Worlds: An Introduction to Modal Logics via Tableaux (Studies in Universal Logic)
$68.07
from $49.00
More results from Amazon »