Mathematical Logic Foundations

Research Frontiers in Graded Modal Logics and Counting Quantifiers

Study of modal logics with graded modalities and counting quantifiers with applications to description logics and knowledge representation.

All Mathematical Logic & Foundations PhD categories