Articoli correlati a Handbook of Philosophical Logic: Volume 8
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
"The best starting point for exploring any of the topics in logic"
Encyclopaedia Britannica
Contenuti
Editorial Preface; D.M. Gabbay. The Logic of Questions; D. Harrah. Sequent Systems for Modal Logics; H. Wansing. Deontic Logic; L. Åqvist. Deontic Logic and Contrary-to-Dutiesl J. Carmo, A. Jones. Index.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2012
- ISBN 10 9401039194
- ISBN 13 9789401039192
- RilegaturaCopertina flessibile
- Numero edizione2
- Numero di pagine372
- RedattoreGabbay Dov M., Guenthner Franz
Compra usato
Condizioni: come nuovoUnread book in perfect condition... Scopri di più su questo articolo
EUR 185,14
Spese di spedizione:
EUR 2,36
In U.S.A.
Compra nuovo
Scopri di più su questo articolo
EUR 156,13
Spese di spedizione:
GRATIS
In U.S.A.
I migliori risultati di ricerca su AbeBooks
Immagini fornite dal venditore
Handbook of Philosophical Logic: Volume 8 [Paperback ]
Da: booksXpress, Bayonne, NJ, U.S.A.
Valutazione del venditore 4 su 5 stelle
Soft Cover. Condizione: new. Codice articolo 9789401039192
Quantità: 10 disponibili
Immagini fornite dal venditore
Handbook of Philosophical Logic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 20193806-n
Quantità: 5 disponibili
Foto dell'editore
Handbook of Philosophical Logic: Volume 8
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Apr0412070054152
Quantità: Più di 20 disponibili
Foto dell'editore
Handbook of Philosophical Logic : Volume 8
Print on DemandDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9789401039192_lsuk
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Handbook of Philosophical Logic
Editore:
Springer Netherlands Okt 2012, 2012
ISBN 10: 9401039194
ISBN 13: 9789401039192
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 372 pp. Englisch. Codice articolo 9789401039192
Quantità: 2 disponibili
Immagini fornite dal venditore
Handbook of Philosophical Logic
Da: GreatBookPricesUK, Castle Donington, DERBY, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 20193806-n
Quantità: 5 disponibili
Immagini fornite dal venditore
Handbook of Philosophical Logic
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Contains major contributions on the Logic of Questions, Sequent Systems for Modal Logics, Deontic Logic as well as Deontic Logic and Contrary-to-duties Editorial Preface D.M. Gabbay. The Logic of Questions D. Harrah. Sequent Systems for Modal Logi. Codice articolo 5830717
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Handbook of Philosophical Logic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 20193806
Quantità: 5 disponibili
Immagini fornite dal venditore
Handbook of Philosophical Logic : Volume 8
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9789401039192
Quantità: 1 disponibili
Foto dell'editore
Handbook of Philosophical Logic: Volume 8
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9789401039192
Quantità: Più di 20 disponibili