Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Nested Sequents and Tree Structures

Investigation of sequent calculi with nested structure for modal and substructural logics with improved proof-theoretic properties.