Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: author="Aguilera, Juan P" or (type exact bookEditor and editor="Aguilera, Juan P") Add to list Journal Article A1 Strong completeness of provability logic for ordinal spaces Juan P Aguilera and David Fernández-Duque (UGent) (2017) JOURNAL OF SYMBOLIC LOGIC. 82(2). p.608-628