Final papers

Here are some final papers from the course.

• Finite variable extensions of first order logic, by Asilata Bapat
• Non-deterministic logarithmic space and transitive closure logic, by Michael Forbes
• Bisimulation and modal logics, by Eunsuk Kang