Publication year: 2007
ISBN: 978-3-540-73099-6
Internet Resource: Please Login to download book
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued logics to nonmonotonic logics, and from classical first-order logic to description logics.
Subject: Computer Science, AI logics, Erfüllbarkeitsproblem der Aussagenlogik, automated deduction, automated reasoning, conditional logics, description logics, formal verification, knowledge bases, logic, logic programming, model checking, model elimination, nonmonotonic reasoning, object oriented design, proof theory