%0 Journal Article %1 journals/apal/SantocanaleV10 %A Santocanale, Luigi %A Venema, Yde %D 2010 %J Ann. Pure Appl. Log. %K dblp %N 1 %P 55-82 %T Completeness for flat modal fixpoint logics. %U http://dblp.uni-trier.de/db/journals/apal/apal162.html#SantocanaleV10 %V 162

@article{journals/apal/SantocanaleV10, added-at = {2020-02-21T00:00:00.000+0100}, author = {Santocanale, Luigi and Venema, Yde}, biburl = {https://www.bibsonomy.org/bibtex/2aecf74214c46b7fec766c613022792a4/dblp}, ee = {https://doi.org/10.1016/j.apal.2010.07.003}, interhash = {af36c6f6ae781b80e74ba6c54709ae68}, intrahash = {aecf74214c46b7fec766c613022792a4}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = 1, pages = {55-82}, timestamp = {2020-02-22T12:45:49.000+0100}, title = {Completeness for flat modal fixpoint logics.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal162.html#SantocanaleV10}, volume = 162, year = 2010 }