%0 Journal Article %1 journals/jsyml/AguileraF17 %A Aguilera, Juan P. %A Fernández-Duque, David %D 2017 %J J. Symb. Log. %K dblp %N 2 %P 608-628 %T Strong Completeness of Provability Logic for Ordinal Spaces. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml82.html#AguileraF17 %V 82

@article{journals/jsyml/AguileraF17, added-at = {2022-10-02T00:00:00.000+0200}, author = {Aguilera, Juan P. and Fernández-Duque, David}, biburl = {https://www.bibsonomy.org/bibtex/2873a5b859841777e4de5452ae4bd33e4/dblp}, ee = {https://doi.org/10.1017/jsl.2017.3}, interhash = {e6729714c5856b6c4eb977c1a64372b4}, intrahash = {873a5b859841777e4de5452ae4bd33e4}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 2, pages = {608-628}, timestamp = {2024-04-08T12:22:44.000+0200}, title = {Strong Completeness of Provability Logic for Ordinal Spaces.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml82.html#AguileraF17}, volume = 82, year = 2017 }