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: Mathematical Foundations and Computational Aspects: Volume 2
from $69.99
Temporal Type Theory (Progress in Computer Science and Applied Logic, 29)
from $65.32
Temporal Logic (LEP Library of Exact Philosophy Book 3)
from $79.99
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
Kripke’s Worlds: An Introduction to Modal Logics via Tableaux (Studies in Universal Logic)
$64.10
from $49.00
Temporal Logics and their Applications
from $9.90
More results from Amazon »