Your Waterstones card is changing, introducing...
TELL ME MORE
Handbook of Philosophical Logic: Volume 8 - Handbook of Philosophical Logic 8 (Hardback)
  • Handbook of Philosophical Logic: Volume 8 - Handbook of Philosophical Logic 8 (Hardback)
zoom

Handbook of Philosophical Logic: Volume 8 - Handbook of Philosophical Logic 8 (Hardback)

(editor), (editor)
£149.99
Hardback 354 Pages / Published: 31/08/2002
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag New York Inc.
ISBN: 9781402006654
Number of pages: 354
Weight: 722 g
Dimensions: 235 x 155 x 19 mm
Edition: 2nd ed. 2002


MEDIA REVIEWS
"The best starting point for exploring any of the topics in logic"
Encyclopaedia Britannica

You may also be interested in...

Why Marx Was Right
Added to basket
Meditations
Added to basket
£4.99
Paperback
Enlightenment Now
Added to basket
£25.00
Hardback
The Righteous Mind
Added to basket
Utopia for Realists
Added to basket
£8.99   £7.99
Paperback
Ikigai
Added to basket
£12.99   £9.99
Hardback
The Path
Added to basket
£8.99
Paperback
Happy
Added to basket
£8.99
Paperback
Meditations
Added to basket
£7.99   £5.99
Paperback
The Daily Stoic
Added to basket
£9.99   £7.99
Paperback
The Islamic Enlightenment
Added to basket
From Bacteria to Bach and Back
Added to basket
The Art of Logic
Added to basket
£14.99
Hardback
Silence
Added to basket
£9.99
Hardback
The Road Less Travelled
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.