%0 Book %1 books/cu/BlackburnRV01 %A Blackburn, Patrick %A de Rijke, Maarten %A Venema, Yde %B Cambridge Tracts in Theoretical Computer Science %D 2001 %I Cambridge University Press %K dblp %P 1-554 %T Modal Logic %V 53 %@ 978-1-10705088-4

@book{books/cu/BlackburnRV01, added-at = {2019-09-16T00:00:00.000+0200}, author = {Blackburn, Patrick and de Rijke, Maarten and Venema, Yde}, biburl = {https://www.bibsonomy.org/bibtex/2a9c0d52dd17c1ab22251b51f66a8c3f7/dblp}, ee = {https://www.wikidata.org/entity/Q57397171}, interhash = {18d4e1b8c4f47bce25d227fcd6583e2b}, intrahash = {a9c0d52dd17c1ab22251b51f66a8c3f7}, isbn = {978-1-10705088-4}, keywords = {dblp}, pages = {1-554}, publisher = {Cambridge University Press}, series = {Cambridge Tracts in Theoretical Computer Science}, timestamp = {2019-09-17T12:07:20.000+0200}, title = {Modal Logic}, volume = 53, year = 2001 }