↓ Skip to main content

Dual Tableaux: Foundations, Methodology, Case Studies

Overview of attention for book
Cover of 'Dual Tableaux: Foundations, Methodology, Case Studies'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Dual Tableau for Classical First-Order Logic
  3. Altmetric Badge
    Chapter 2 Dual Tableaux for Logics of Classical Algebras of Binary Relations
  4. Altmetric Badge
    Chapter 3 Theories of Point Relations and Relational Model Checking
  5. Altmetric Badge
    Chapter 4 Dual Tableaux for Peirce Algebras
  6. Altmetric Badge
    Chapter 5 Dual Tableaux for Fork Algebras
  7. Altmetric Badge
    Chapter 6 Dual Tableaux for Relational Databases
  8. Altmetric Badge
    Chapter 7 Dual Tableaux for Classical Modal Logics
  9. Altmetric Badge
    Chapter 8 Dual Tableaux for Some Logics Based on Intuitionism
  10. Altmetric Badge
    Chapter 9 Dual Tableaux for Relevant Logics
  11. Altmetric Badge
    Chapter 10 Dual Tableaux for Many-Valued Logics
  12. Altmetric Badge
    Chapter 11 Dual Tableaux for Information Logics of Plain Frames
  13. Altmetric Badge
    Chapter 12 Dual Tableaux for Information Logics of Relative Frames
  14. Altmetric Badge
    Chapter 13 Dual Tableau for Formal Concept Analysis
  15. Altmetric Badge
    Chapter 14 Dual Tableau for a Fuzzy Logic
  16. Altmetric Badge
    Chapter 15 Dual Tableaux for Logics of Order of Magnitude Reasoning
  17. Altmetric Badge
    Chapter 16 Dual Tableaux for Temporal Logics
  18. Altmetric Badge
    Chapter 17 Dual Tableaux for Interval Temporal Logics
  19. Altmetric Badge
    Chapter 18 Dual Tableaux for Spatial Reasoning
  20. Altmetric Badge
    Chapter 19 Dual Tableaux for Logics of Programs
  21. Altmetric Badge
    Chapter 20 Dual Tableaux for Threshold Logics
  22. Altmetric Badge
    Chapter 21 Signed Dual Tableau for Gödel–Dummett Logic
  23. Altmetric Badge
    Chapter 22 Dual Tableaux for First-Order Post Logics
  24. Altmetric Badge
    Chapter 23 Dual Tableau for Propositional Logic with Identity
  25. Altmetric Badge
    Chapter 24 Dual Tableaux for Logics of Conditional Decisions
  26. Altmetric Badge
    Chapter 25 Methodological Principles of Dual Tableaux
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
25 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Dual Tableaux: Foundations, Methodology, Case Studies
Published by
Springer Netherlands, January 2012
DOI 10.1007/978-94-007-0005-5
ISBNs
978-9-40-070004-8, 978-9-40-070005-5
Authors

Orlowska, Ewa, Golińska Pilarek, Joanna