Logic

Research Frontiers in Guarded Logics and Finite Models

Study of logics with restricted quantification for capturing decidability and model-checking for finite model problems.

All Logic PhD categories