21 citations · 43 across the 14 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
math.LO2016
A Topological Completeness Theorem for Transfinite Provability Logic
Juan P. Aguilera
We prove a topological completeness theorem for the modal logic GLP containing operators for Ord intended to capture progressively stronger notions of cons…
math.LO2016★ 21 cited
Unsound Inferences Make Proofs Shorter
Juan P. Aguilera, Matthias Baaz
We give examples of calculi that extend Gentzen's sequent calculus LK by unsound quantifier inferences in such a way that (i) derivations lead only to true sequents, and (ii) proof…