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 dispatched 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...

The Daily Stoic
Added to basket
£10.99   £7.99
Paperback
Ikigai
Added to basket
£12.99   £9.99
Hardback
Enlightenment Now
Added to basket
£25.00
Hardback
Meditations
Added to basket
£7.99   £5.99
Paperback
Future Politics
Added to basket
£20.00
Hardback
Happy
Added to basket
£8.99
Paperback
The Little Book of Ikigai
Added to basket
The Republic
Added to basket
£8.99   £6.99
Paperback
Enlightenment Now
Added to basket
£12.99
Paperback
The Order of Time
Added to basket
£12.99
Hardback
Meditations
Added to basket
£10.00
Hardback
Utopia for Realists
Added to basket
£8.99   £7.99
Paperback
The Path
Added to basket
£8.99
Paperback
Meditations
Added to basket
£4.99
Paperback
The Tipping Point
Added to basket
£9.99   £7.99
Paperback
Wabi Sabi
Added to basket
£12.99
Hardback

Reviews

Please sign in to write a review

Your review has been submitted successfully.