NTHRYS › PhD Assistance › Category Theory

Category Theory

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Categorical Logic for Modal and Temporal Systems

Develops categorical semantics for modal, temporal, and dynamic logics with applications to formal verification.