NTHRYS › PhD Assistance › Mathematical Logic Foundations

Mathematical Logic Foundations

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Omega-Logic and Second-Order Semantics

Investigates omega-logic and related infinitary logics with complete semantics, exploring their expressiveness and proof-theoretic properties.