Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Beschreibung
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 [...]­ 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.
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 [...]­ 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.
Zusammenfassung

Contains major contributions on the Logic of Questions, Sequent Systems for Modal Logics, Deontic Logic as well as Deontic Logic and Contrary-to-duties

Inhaltsverzeichnis
The Logic of Questions.- Sequent Systems for Modal Logics.- Deontic Logic.- Deontic Logic and Contrary-to-duties.
Details
Erscheinungsjahr: 2012
Fachbereich: Allgemeines
Genre: Importe, Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Taschenbuch
Inhalt: xiii
354 S.
ISBN-13: 9789401039192
ISBN-10: 9401039194
Sprache: Englisch
Einband: Kartoniert / Broschiert
Redaktion: Guenthner, Franz
Gabbay, Dov M.
Herausgeber: Dov M Gabbay/Franz Guenthner
Auflage: 2nd edition 2002. Softcover reprint of the original 2nd edition 2002
Hersteller: Springer Netherland
Springer Netherlands
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 235 x 155 x 21 mm
Von/Mit: Franz Guenthner (u. a.)
Erscheinungsdatum: 21.10.2012
Gewicht: 0,563 kg
Artikel-ID: 105649748

Ähnliche Produkte

Taschenbuch