24 citations · 25 across the 3 of their papers we have counts for
1 paper · 1 filter
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
We define a logic of propositional formula schemata adding to the syntax of propositional logic indexed propositions and iterated connectives ranging over intervals parameterized b…