Mathematical Logic Foundations

Research Frontiers in Institutional Logics and Logic Frameworks

Develops abstract institutional frameworks for uniform treatment of diverse logical systems, establishing meta-theoretical properties at the institutional level.

All Mathematical Logic & Foundations PhD categories