Get Free Shipping on orders over $79
Handbook of Philosophical Logic : Volume 8 - Dov M. Gabbay
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Handbook of Philosophical Logic

Volume 8

By: Dov M. Gabbay (Editor), Franz Guenthner (Editor)

Paperback | 21 October 2012 | Edition Number 2

At a Glance

Paperback


$249.00

or 4 interest-free payments of $62.25 with

 or 

Ships in 7 to 10 business days

suchquestionsforcenturies(unrestrictedbythecapabilitiesofanyhard­ ware). Theprinciplesgoverningtheinteractionofseveralprocesses,forexample, areabstractansimilartoprinciplesgoverningthecooperationoftwolarge organisation.Adetailedrulebasedeffectivebutrigidbureaucracyisvery muchsimilartoacomplexcomputerprogramhandlingandmanipulating data. Myguessisthattheprinciplesunderlyingoneareverymuchthe sameasthoseunderlyingtheother. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist willwakeuponemorningwiththerealisationthatheisactuallyakindof formalphilosopher! TheprojectednumberofvolumesforthisHandbookisabout18.The subjecthasevolvedanditsareashavebecomeinterrelatedtosuchanextent thatitnolongermakessensetodedicatevolumestotopics.However,the volumesdofollowsomenaturalgroupingsofchapters. Iwouldliketothankourauthorsarereadersfortheircontributionsand theircommitmentinmakingthisHandbookasuccess. Thanksalsoto ourpublicationadministratorMrsJ.Spurrforherusualdedicationand excellenceandtoKluwerAcademicPublishersfortheircontinuingsupport fortheHandbook. DovGabbay King'sCollegeLondon x Logic II IT Natural Program Artificialin­ Logic p- language controlspec­ telligence gramming processing ification, verification, concurrency Temporal Expressive Expressive Planning. Extension of logic poweroftense power for re­ Time depen­ Horn clause operators. currentevents. dent data. with time Temporal Specification Eventcalculus. capability. indices. Sepa­ of tempo- Persistence Eventcalculus. rationofpast ral control. throughtime­ Temporallogic fromfuture Decisionprob­ the Frame programming. Problem.Tem­ lems. Model checking. poral query language. temporal transactions. Modal logic. generalised Actionlogic Beliefrevision. Negation by Multi-modal quantifiers Inferential failure and logics databases modality Algorithmic Discourse rep­ New logics. Generaltheory Proceduralap­ proof resentation. Generic theo­ of reasoning. proachtologic Direct com- remprovers Non-monotonic putation on systems linguisticinput Non­ Resolving Loopchecking. Intrinsiclogical Negation by monotonic ambigui- Non-monotonic discipline for failure.Deduc­ reasoning ties. Machine decisionsabout AI. Evolving tivedatabases translation. loops. Faults and com­ Document insystems. municating classification. databases Relevance theory Probabilistic logicalanalysis Realtimesys­ Expert sys­ Semantics for and fuzzy oflanguage tems tems.Machine logicprograms logic learning Intuitionistic Quantifiers in Constructive Intuitionistic Horn clause logic logic reasoning and logicisabetter logic is really proof theory logical basis intuitionistic.
Industry Reviews
"The best starting point for exploring any of the topics in logic"
Encyclopaedia Britannica

Other Editions and Formats

ePUB

Published: 29th June 2013

Instant online reading in your Booktopia eTextbook Library *

Hardcover

Published: 31st March 2004

Hardcover

Published: 8th December 2010

Hardcover

Published: 15th August 2013

More in Philosophy & Logic

Rationality : What It Is, Why It Seems Scarce, Why It Matters - Steven Pinker
The Logic of Scientific Discovery : Routledge Classics - Karl Popper
Inductive Probability : Routledge Revivals - J. P. Day
Probability, Objectivity and Evidence : Routledge Revivals - F. C. Benenson
Aristotle's Organon in Old and New Logic : 1800-1950 - Colin Guthrie  King

RRP $170.00

$141.75

17%
OFF
Analogy and Exemplary Reasoning in Legal Discourse - Hendrik Kaptein
Philosophy and the Human Sciences - R.J. Anderson
Straight and Crooked Thinking - Robert Henry Thouless

RRP $29.99

$26.75

11%
OFF