Automated Reasoning with Analytic Tableaux and Related Methods
34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, 2025, Proceedings
Published on 28. September 2025
Book
Paperback/Softback
XVII, 492 pages
978-3-032-06084-6 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
130 s/w Abbildungen, 10 farbige Abbildungen
XVII, 492 p. 140 illus., 10 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 28 mm
Weight
768 gr
ISBN-13
978-3-032-06084-6 (9783032060846)
DOI
10.1007/978-3-032-06085-3
Schweitzer Classification