↓ Skip to main content
What is this page? Embed badge

Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings

Overview of attention for book
Cover of 'Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 On Interpolation in Decision Procedures
  3. Altmetric Badge
    Chapter 2 First-Order Tableaux in Applications (Extended Abstract)
  4. Altmetric Badge
    Chapter 3 Proof Theory and Algebra in Substructural Logics
  5. Altmetric Badge
    Chapter 4 CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces
  6. Altmetric Badge
    Chapter 5 Schemata of SMT-Problems
  7. Altmetric Badge
    Chapter 6 Kripke Semantics for Basic Sequent Systems
  8. Altmetric Badge
    Chapter 7 Hybrid and First-Order Complete Extensions of CaRet
  9. Altmetric Badge
    Chapter 8 Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders
  10. Altmetric Badge
    Chapter 9 Craig Interpolation in Displayable Logics
  11. Altmetric Badge
    Chapter 10 A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders
  12. Altmetric Badge
    Chapter 11 Automated Reasoning with Analytic Tableaux and Related Methods
  13. Altmetric Badge
    Chapter 12 On the Proof Complexity of Cut-Free Bounded Deep Inference
  14. Altmetric Badge
    Chapter 13 The Modal μ -Calculus Caught Off Guard
  15. Altmetric Badge
    Chapter 14 A Conditional Constructive Logic for Access Control and Its Sequent Calculus
  16. Altmetric Badge
    Chapter 15 A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$
  17. Altmetric Badge
    Chapter 16 Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics
  18. Altmetric Badge
    Chapter 17 Cut Elimination for Shallow Modal Logics
  19. Altmetric Badge
    Chapter 18 A Non-clausal Connection Calculus
  20. Altmetric Badge
    Chapter 19 $\textsc{Met\hspace{-.5pt}TeL}$ : A Tableau Prover with Logic-Independent Inference Engine
  21. Altmetric Badge
    Chapter 20 A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
  22. Altmetric Badge
    Chapter 21 MaLeCoP Machine Learning Connection Prover
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
1 Dimensions
Summary X Dimensions citations
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
Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
Published by
Springer-Verlag GmbH Berlin Heidelberg, January 2011
DOI 10.1007/978-3-642-22119-4
ISBNs
978-3-64-222118-7, 978-3-64-222119-4
Authors

Brünnler, Kai, Metcalfe, George

Editors

Brünnler, Kai, Metcalfe, George, Brünnler, Kai, Metcalfe, George

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.