Sofía Santiago-Fernández

According to our database, Sofía Santiago-Fernández authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

Tree Rewriting Calculi for Strictly Positive Logics.

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

CoRR, April, 2025

Specification languages for computational laws versus basic legal principles.

Petia Guintchev, Joost J. Joosten, Sofía Santiago-Fernández, Eric Sancho Adamson, Aleix Solé Sánchez, Marta Soria Heredia

CoRR, March, 2025

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