Sofía Santiago-Fernández

According to our database, Sofía Santiago-Fernández authored at least 1 paper in 2024.

Collaborative distances:

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

2024

A Tree Rewriting System for the Reflection Calculus.

Sofía Santiago-Fernández, Joost J. Joosten, David Fernández-Duque

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024