Overview
This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during September 27-29, 2025. The 25 full papers included in this book were carefully reviewed and selected from 47 sbumissions. They were organized in topical sections as follows: Classical and multi-valued logic, theorem proving; modal and tense logic; and intuitionistic and substructural logic.
- | Author: Gian Luca Pozzato
- | Publisher: Springer
- | Publication Date: Sep 28, 2025
- | Number of Pages: 473 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3032060842
- | ISBN-13: 9783032060846
