Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Tableaux Methods and Automated Reasoning

Development of tableau-based proof systems for various logics with applications to automated reasoning and decision procedures.