Simon Santschi

According to our database, Simon Santschi authored at least 8 papers between 2021 and 2026.

Collaborative distances:

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

2026

Interpolation above S4.

Simon Santschi, Niels C. Vooijs

CoRR, April, 2026

Amalgamation in Semilinear Residuated Lattices.

Wesley Fussner, Simon Santschi

Stud Logica, February, 2026

2025

Algebraic Proof Theory for Infinitary Action Logic.

Wesley Fussner, Simon Santschi, Borja Sierra-Miranda

CoRR, January, 2025

Interpolation in Hájek's basic logic.

Wesley Fussner, Simon Santschi

Ann. Pure Appl. Log., 2025

2024

Interpolation in Linear Logic and Related Systems.

Wesley Fussner, Simon Santschi

ACM Trans. Comput. Log., 2024

Deciding Equations in the Time Warp Algebra.

Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi

Log. Methods Comput. Sci., 2024

2023

Interpolation and the Exchange Rule.

Wesley Fussner, George Metcalfe, Simon Santschi

CoRR, 2023

2021

Time Warps, from Algebra to Algorithms.

Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021