13 citations · 72 across the 24 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
math.LO2016
Non-deterministic Semantics for Dynamic Topological Logic
David Fernández-Duque
Dynamic Topological Logic () is a combination of {\em 4}, under its topological interpretation, and the temporal logic interpreted over…
math.LO2016★ 10 cited
The intuitionistic temporal logic of dynamical systems
David Fernández-Duque
A dynamical system is a pair , where is a topological space and is continuous. Kremer observed that the language of propositional linear temporal logic…
math.LO2016★ 6 cited
Worms and Spiders: Reflection calculi and ordinal notation systems
David Fernández-Duque
We give a general overview of ordinal notation systems arising from reflection calculi, and extend the to represent impredicative ordinals up to those representable using Buchholz-…