Order History
Premium Membership & Rewards
Help Center / FAQ
Logics of Time and Computation
Paperback
$30.00
Earn 5X Rewards 1/1 - 12/31Loading availability...
Pick up in store
Your local store may have stock of this item.
Your local store may have stock of this item.
Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.
More in This Series
European Review of Philosophy: Philosophy of Mind
#1 in Series
Paperback
$25.00
Manual of Intensional Logic: Center for the Study of Language and Information
#1 in Series
Paperback
$25.00
Japanese - Korean Linguistics
#1 in Series
Hardcover
$54.95
Cognitive Dynamics
#2 in Series
Hardcover
$55.00
Japanese/Korean Linguistics
#2 in Series
Hardcover
$60.00
European Review of Philosophy: Response-Dependence
#3 in Series
Hardcover
$59.95
Japanese-Korean Linguistics
#3 in Series
Hardcover
$65.00
Lectures on Contemporary Syntactic Theories: An Introduction to Government-Binding Theory, Generalized Phrase Structure Grammar, and Lexical-Functio
#3 in Series
Paperback
$30.00
European Review of Philosophy: The Nature of Logic
#4 in Series
Hardcover
$59.95
Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena
#5 in Series
Hardcover
$62.95
$69.95
Semantics of Destructive LISP
#5 in Series
Hardcover
$50.00
Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena
#5 in Series
Paperback
$27.00
Semantics of Destructive LISP
#5 in Series
Paperback
$25.00
Essay on Facts
#6 in Series
Hardcover
$50.00
Japanese - Korean Linguistics
#6 in Series
Paperback
$32.50
European Review of Philosophy, 6: The Structure of Nonconceptual Content
#6 in Series
Paperback
$25.00
Japanese-Korean Linguistics
#8 in Series
Hardcover
$75.00
Japanese/Korean Linguistics
#9 in Series
Hardcover
$75.00