Logic

Research Frontiers in Finite Model Theory and Expression Power

Examines limitations and capabilities of logical systems for reasoning about finite structures and their descriptive expressive power.

All Logic PhD categories