%0 Journal Article %1 journals/sLogica/AlberucciF09 %A Alberucci, Luca %A Facchini, Alessandro %D 2009 %J Stud Logica %K dblp %N 2 %P 145-169 %T On Modal µ -Calculus and Gödel-Löb Logic. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica91.html#AlberucciF09 %V 91

@article{journals/sLogica/AlberucciF09, added-at = {2020-09-01T00:00:00.000+0200}, author = {Alberucci, Luca and Facchini, Alessandro}, biburl = {https://www.bibsonomy.org/bibtex/2244b97e10c22a2798446ef9a75244ae2/dblp}, ee = {https://doi.org/10.1007/s11225-009-9170-9}, interhash = {b7eeccf76843df4b1a602a8b58ee5715}, intrahash = {244b97e10c22a2798446ef9a75244ae2}, journal = {Stud Logica}, keywords = {dblp}, number = 2, pages = {145-169}, timestamp = {2020-09-09T12:38:26.000+0200}, title = {On Modal µ -Calculus and Gödel-Löb Logic.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica91.html#AlberucciF09}, volume = 91, year = 2009 }