Book Details

Automated Reasoning with Analytic Tableaux and Related Methods

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