| Title:
|
HANDBOOK OF PHILOSOPHICAL LOGIC
|
| Volume: |
Volume 8 |
| By: |
Dov M. Gabbay (Editor), Franz Guenthner (Editor) |
| Format: |
Hardback |
| List price:
|
£149.99 |
|
We believe that this item is permanently unavailable, and so we cannot source
it.
|
|
|
|
|
|
| ISBN 10: |
1402006659 |
| ISBN 13: |
9781402006654 |
| Publisher: |
KLUWER ACADEMIC PUBLISHERS |
| Edition: |
2nd ed. 2002 |
| Series: |
Handbook of Philosophical Logic v. 8 |
| Pages: |
354 |
| Description: |
Contains major contributions on the Logic of Questions, Sequent Systems for Modal Logics, Deontic Logic as well as Deontic Logic and Contrary-to-duties. This book is aimed at students and researchers whose work or interests involve philosophical logic and its applications. |
| Synopsis: |
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. |
| Illustrations: |
biography |
| Publication: |
US |
| Imprint: |
Kluwer Academic Publishers |
| Returns: |
Returnable |