Nathan Guermond

According to our database, Nathan Guermond authored at least 2 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Towards Weak Stratification for Logics of Definitions.

Nathan Guermond

CoRR, February, 2026

2025

Ground Stratification for a Logic of Definitions with Induction.

Nathan Guermond, Gopalan Nadathur

Proceedings of the Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, October, 2025