Automated Reasoning with Analytic Tableaux and Related Methods

丛 书 名：Lecture Notes in Computer Science

版本说明：1

作     者：Anupam Das Sara Negri 

I S B N：(纸本) 9783030860585 

出 版 社：Springer Cham 

出 版 年：1000年

页      数：XIX, 467页

主 题 词：Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Computer System Implementation Control Structures and Microprogramming 

摘      要：This book constitutes the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, held in Birmingham, UK, in September *** 23 full papers and 3 system descriptions included in the volume were carefully reviewed and selected from 46 *** present research on all aspects of the mechanization of tableaux-based reasoning and related methods, including theoretical foundations, implementation techniques, systems development and applications. The papers are organized in the following topical sections: tableau calculi, sequent calculi, theorem proving, formalized proofs, non-wellfounded proofs, automated theorem provers, and intuitionistic modal logics.