Can I read Consequence Finding in Modal Logic [PhD Thesis] on EtoBox?

Consequence Finding in Modal Logic [PhD Thesis] by Meghyn Bienvenu is a nonfiction available to read on EtoBox.

What is Consequence Finding in Modal Logic [PhD Thesis] about?

1 Introduction 1 2 The Modal Logic Kn 11 2.1 Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.2 Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2.3 Logical Consequence . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 2.4 Basic Transformations . . . . . . . . . . . . . . . . . . . . . . . . . . 20 2.5 Basic Reasoning Tasks . . . . . . . . . . . . . . . . . . . . . . . . . . 27 2.6 Uniform Interpolation . . . . . . . . . . . . . . . . . . . . . . . . . . 33 2.7 Relation to First-Order Logic . . . . . . . . . . . . . . . . . . . . . . 41 2.8 Relation to Description Logics . . . . . . . . . . . . . . . . . . . . . . 42 2.8.1 A short introduction to description logics . . . . . . . . . . . 43 2.8.2 The description logic ALC . . . . . . . . . . . . . . . . . . . . 44 2.8.3 The description logic ALE . . . . . . . . . . . . . . . . . . . . 46 3 Prime Implicates and Prime Implicants in Kn 51 3.1 Defining Clauses and Terms in Kn . . . . . . . . . . . . . . . . . . . 51 3.1.1 Impossibility result . . . . . . . . . . . . . . . . . . . . . . . . 52 3.1.2 Analysis of candidate definitions . . . . . . . . . . . . . . . . 54 3

Who reads Consequence Finding in Modal Logic [PhD Thesis]?

Author

Meghyn Bienvenu

Publisher

Toulouse University

Published

2009

Language

EN

Category

nonfiction

Subjects

Mathematics, Logic, Stem