Logic

Research Frontiers in Structural Reflection and Self-Reference

Study of reflection principles in formal systems for reasoning about provability and self-referential properties.

All Logic PhD categories