1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
David Fernández-Duque, Yoàv Montacute
Dynamic topological logic (DTL) is a trimodal logic designed for reasoning about dynamic topological systems. It was shown by Fernández-Duque that the natural set of axi…