Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Finite Model Property and Decidability

Investigation of when logics have the finite model property and implications for decidability and complexity results.