Volume 33 2011

Dual Tableaux: Foundations, Methodology, Case Studies

Authors:

ISBN: 978-94-007-0004-8 (Print) 978-94-007-0005-5 (Online)

Table of contents (25 chapters)

previous Page of 2
  1. Front Matter

    Pages i-xvi

  2. Foundations

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-31

      Dual Tableau for Classical First-Order Logic

    3. No Access

      Book Chapter

      Pages 33-67

      Dual Tableaux for Logics of Classical Algebras of Binary Relations

    4. No Access

      Book Chapter

      Pages 69-82

      Theories of Point Relations and Relational Model Checking

  3. Reasoning in Logics of Non-classical Algebras of Relations

    1. Front Matter

      Pages 83-83

    2. No Access

      Book Chapter

      Pages 85-103

      Dual Tableaux for Peirce Algebras

    3. No Access

      Book Chapter

      Pages 105-120

      Dual Tableaux for Fork Algebras

    4. No Access

      Book Chapter

      Pages 121-139

      Dual Tableaux for Relational Databases

  4. Relational Reasoning in Traditional Non-classical Logics

    1. Front Matter

      Pages 141-141

    2. No Access

      Book Chapter

      Pages 143-160

      Dual Tableaux for Classical Modal Logics

    3. No Access

      Book Chapter

      Pages 161-176

      Dual Tableaux for Some Logics Based on Intuitionism

    4. No Access

      Book Chapter

      Pages 177-194

      Dual Tableaux for Relevant Logics

    5. No Access

      Book Chapter

      Pages 195-213

      Dual Tableaux for Many-Valued Logics

  5. Relational Reasoning in Logics of Information and Data Analysis

    1. Front Matter

      Pages 215-215

    2. No Access

      Book Chapter

      Pages 217-235

      Dual Tableaux for Information Logics of Plain Frames

    3. No Access

      Book Chapter

      Pages 237-249

      Dual Tableaux for Information Logics of Relative Frames

    4. No Access

      Book Chapter

      Pages 251-261

      Dual Tableau for Formal Concept Analysis

    5. No Access

      Book Chapter

      Pages 263-275

      Dual Tableau for a Fuzzy Logic

    6. No Access

      Book Chapter

      Pages 277-287

      Dual Tableaux for Logics of Order of Magnitude Reasoning

  6. Relational Reasoning about Time, Space, and Action

    1. Front Matter

      Pages 289-289

    2. No Access

      Book Chapter

      Pages 291-313

      Dual Tableaux for Temporal Logics

    3. No Access

      Book Chapter

      Pages 315-327

      Dual Tableaux for Interval Temporal Logics

    4. No Access

      Book Chapter

      Pages 329-358

      Dual Tableaux for Spatial Reasoning

    5. No Access

      Book Chapter

      Pages 359-382

      Dual Tableaux for Logics of Programs

  7. Beyond Relational Theories

    1. Front Matter

      Pages 383-383

    2. No Access

      Book Chapter

      Pages 385-396

      Dual Tableaux for Threshold Logics

previous Page of 2