↓ Skip to main content

Automated Reasoning with Analytic Tableaux and Related Methods

Overview of attention for book
Cover of 'Automated Reasoning with Analytic Tableaux and Related Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Microprocessor Verification Using Efficient Decision Procedures for a Logic of Equality with Uninterpreted Functions
  3. Altmetric Badge
    Chapter 2 Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison
  4. Altmetric Badge
    Chapter 3 DLP and FaCT
  5. Altmetric Badge
    Chapter 4 Applying an $$ \mathcal{A}\mathcal{L}\mathcal{C} $$ ABox Consistency Tester to Modal Logic SAT Problems
  6. Altmetric Badge
    Chapter 5 KtSeqC : System Description
  7. Altmetric Badge
    Chapter 6 Automated Reasoning and the Verification of Security Protocols
  8. Altmetric Badge
    Chapter 7 Proof Confluent Tableau Calculi
  9. Altmetric Badge
    Chapter 8 Analytic Calculi for Projective Logics
  10. Altmetric Badge
    Chapter 9 Merge Path Improvements for Minimal Model Hyper Tableaux
  11. Altmetric Badge
    Chapter 10 CLDS for Propositional Intuitionistic Logic
  12. Altmetric Badge
    Chapter 11 Intuitionisitic Tableau Extracted
  13. Altmetric Badge
    Chapter 12 A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification
  14. Altmetric Badge
    Chapter 13 Bounded Contraction in Systems with Linearity
  15. Altmetric Badge
    Chapter 14 The Non-associative Lambek Calculus with Product in Polynomial Time
  16. Altmetric Badge
    Chapter 15 Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization?
  17. Altmetric Badge
    Chapter 16 Cut-Free Display Calculi for Nominal Tense Logics
  18. Altmetric Badge
    Chapter 17 Hilbert’s ∈ -Terms in Automated Theorem Proving
  19. Altmetric Badge
    Chapter 18 Partial Functions in an Impredicative Simple Theory of Types
  20. Altmetric Badge
    Chapter 19 A Simple Sequent System for First-Order Logic with Free Constructors
  21. Altmetric Badge
    Chapter 20 linTAP : A Tableau Prover for Linear Logic
  22. Altmetric Badge
    Chapter 21 A Tableau Calculus for a Temporal Logic with Temporal Connectives
  23. Altmetric Badge
    Chapter 22 A Tableau Calculus for Pronoun Resolution
  24. Altmetric Badge
    Chapter 23 Generating Minimal Herbrand Models Step by Step
  25. Altmetric Badge
    Chapter 24 Tableau Calculi for Hybrid Logics
  26. Altmetric Badge
    Chapter 25 Full First-Order Free Variable Sequents and Tableaux in Implicit Induction
  27. Altmetric Badge
    Chapter 26 An Interactive Theorem Proving Assistant
  28. Altmetric Badge
    Chapter 27 A Time Efficient KE Based Theorem Prover
  29. Altmetric Badge
    Chapter 28 Strategy Parallel Use of Model Elimination with Lemmata
Attention for Chapter 23: Generating Minimal Herbrand Models Step by Step
Altmetric Badge

Citations

dimensions_citation
3 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.
Chapter title
Generating Minimal Herbrand Models Step by Step
Chapter number 23
Book title
Automated Reasoning with Analytic Tableaux and Related Methods
Published by
Springer, Berlin, Heidelberg, June 1999
DOI 10.1007/3-540-48754-9_23
Book ISBNs
978-3-54-066086-6, 978-3-54-048754-8
Authors

Heribert Schütz