Handbook of Philosophical Logic, Tom 8Dov M. Gabbay, Franz Guenthner Springer Science & Business Media, 31 sie 2002 - 354 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. |
Spis treści
THE LOGIC OF QUESTIONS | 1 |
SEQUENT SYSTEMS FOR MODAL LOGICS | 61 |
DEONTIC LOGIC | 147 |
DEONTIC LOGIC AND CONTRARYTODUTIES | 265 |
343 | |
Inne wydania - Wyświetl wszystko
Kluczowe wyrazy i wyrażenia
actual obligation alethic modal antecedent Åqvist axiom schemata axiomatic Belnap binary relation Castañeda Chisholm set connectives context cut-elimination cut-free d-wffs defined definition denote derive DIntKt direct answers display logic Dordrecht dyadic deontic logic equivalent erotetic expressed formal formula G. H. Von Wright Gentzen Goré Hansson Hilpinen Hintikka ideal obligation implies induction interrogative introduction rules kill language Lemma monadic deontic logic normal modal normal modal logics normative notion ob(X obligatory operators paradox parametric Philosophical Logic possible Prakken and Sergot problem proof proof theory propositional logic provable quantifiers questions reduction result satisfies scenario schema Section semantics sequent calculus sequent systems set of sentences Smiley-Hanson systems structural rules succedent Suzy Mae temporal logic tense logical theorem theory tion translation true valid variables violation Wansing Wright