%0 Journal Article %1 journals/sLogica/JonghV91 %A de Jongh, Dick %A Visser, Albert %D 1991 %J Stud Logica %K dblp %N 1 %P 39-49 %T Explicit Fixed Points in Interpretability Logic. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica50.html#JonghV91 %V 50

@article{journals/sLogica/JonghV91, added-at = {2020-09-01T00:00:00.000+0200}, author = {de Jongh, Dick and Visser, Albert}, biburl = {https://www.bibsonomy.org/bibtex/2f38557d3aa26552e6dd8a5ef35fdf0d5/dblp}, ee = {https://doi.org/10.1007/BF00370386}, interhash = {16588e9c934deeff32c3a912f36612d5}, intrahash = {f38557d3aa26552e6dd8a5ef35fdf0d5}, journal = {Stud Logica}, keywords = {dblp}, number = 1, pages = {39-49}, timestamp = {2020-09-09T12:38:58.000+0200}, title = {Explicit Fixed Points in Interpretability Logic.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica50.html#JonghV91}, volume = 50, year = 1991 }