|
Books > Humanities > Philosophy > Topics in philosophy > Logic
|
Buy Now
Handbook of Philosophical Logic - Volume 12 (Hardcover, 2nd ed. 2005)
Loot Price: R5,801
Discovery Miles 58 010
|
|
|
Handbook of Philosophical Logic - Volume 12 (Hardcover, 2nd ed. 2005)
Series: Handbook of Philosophical Logic, 12
Expected to ship within 10 - 15 working days
|
such questions for centuries (unrestricted by the capabilities of
any ha- ware).
Theprinciplesgoverningtheinteractionofseveralprocesses, forexample,
are abstract an similar to principles governing the cooperation of
two large organisation. A detailed rule based e?ective but rigid
bureaucracy is very much similar to a complex computer program
handling and manipulating data. My guess is that the principles
underlying one are very much the same as those underlying the
other.
Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist will
wake up one morning with the realisation that he is actually a kind
of formal philosopher! The projected number of volumes for this
Handbook is about 18. The
subjecthasevolvedanditsareashavebecomeinterrelatedtosuchanextent
that it no longer makes sense to dedicate volumes to topics.
However, the volumes do follow some natural groupings of chapters.
I would like to thank our authors and readers for their
contributions and their commitment in making this Handbook a
success. Thanksalso to our publication administrator Mrs J. Spurr
for her usual dedication and excellence and to Kluwer Academic
Publishers (now Springer) for their continuing support for the
Handbook. Dov Gabbay King's College London x PREFACE TO THE SECOND
EDITION Logic IT Natural Program Arti?cialin- Logic p- language
control spec- telligence gramming processing i?cation, veri?cation,
concurrency Temporal Expressive Expressive Planning. Extension of
logic power of tense power for re- Time depen- Horn clause
operators. currentevents. dent data. with time Temporal
Speci?cation Eventcalculus. capability. indices. Sepa- of tempo-
Persistence Eventcalculus. ration of past ral control. through
time- Temporal logic from future Decision prob- the Frame
programming.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
