Skip to main content

Tableaux for Free Logics with Descriptions

Andrzej Indrzejczak and Michał Zawidzki

Address
Cham
Book Title
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021
Editor
Anupam Das‚ Sara Negri
Pages
56−73
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
12842
Year
2021