2 papers
math.LO2023
The universal tangle for spatial reasoning
David Fernández-Duque, Konstantinos Papafilippou
The topological -calculus has gathered attention in recent years as a powerful framework for representation of spatial knowledge. In particular, spatial relations can be represe…
math.LO2021
Arithmetical and Hyperarithmetical Worm Battles
David Fernández-Duque, Joost J. Joosten, Fedor Pakhomov +2
Japaridze's provability logic has one modality for each natural number and has been used by Beklemishev for a proof theoretic analysis of Peano aritmetic and rel…