Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Labelled Deductive Systems and Formalization

Study of deductive systems with labels on formulas for explicit representation of contexts and modal indices.