Handbook of Philosophical Logic

Volume 8
2. Auflage 2002. Softcover Nachdruck of the original 2. Auflage 2002
ISBN: 978-94-010-3919-2
Verlag: Springer Netherlands

Buch, Englisch, 354 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 563 g

Reihe: Handbook of Philosophical Logic

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.

Zielgruppe

Research

Autoren/Hrsg.

Guenthner, Franz

Gabbay, Dov M.

Fachgebiete

• Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie

Inhaltsverzeichnis

The Logic of Questions.- Sequent Systems for Modal Logics.- Deontic Logic.- Deontic Logic and Contrary-to-duties.