@book{blackburn-modal-2004,
	author = {Blackburn, Patrick and de Rijke, Maarten and Venema, Yde},
	date-added = {2020-02-03 14:16:10 +0100},
	date-modified = {2020-02-03 14:16:10 +0100},
	note = {Reprinted with corrections.},
	publisher = {Cambridge University Press},
	title = {Modal Logic},
	url = {http://www.cambridge.org/nl/academic/subjects/computer-science/programming-languages-and-applied-logic/modal-logic?format=PB},
	year = {2004},
	bdsk-url-1 = {http://www.cambridge.org/nl/academic/subjects/computer-science/programming-languages-and-applied-logic/modal-logic?format=PB}}

{"_id":"diMXiHZpiNRNLS2rg","bibbaseid":"blackburn-derijke-venema-modallogic-2004","author_short":["Blackburn, P.","de Rijke, M.","Venema, Y."],"bibdata":{"bibtype":"book","type":"book","author":[{"propositions":[],"lastnames":["Blackburn"],"firstnames":["Patrick"],"suffixes":[]},{"propositions":["de"],"lastnames":["Rijke"],"firstnames":["Maarten"],"suffixes":[]},{"propositions":[],"lastnames":["Venema"],"firstnames":["Yde"],"suffixes":[]}],"date-added":"2020-02-03 14:16:10 +0100","date-modified":"2020-02-03 14:16:10 +0100","note":"Reprinted with corrections.","publisher":"Cambridge University Press","title":"Modal Logic","url":"http://www.cambridge.org/nl/academic/subjects/computer-science/programming-languages-and-applied-logic/modal-logic?format=PB","year":"2004","bdsk-url-1":"http://www.cambridge.org/nl/academic/subjects/computer-science/programming-languages-and-applied-logic/modal-logic?format=PB","bibtex":"@book{blackburn-modal-2004,\n\tauthor = {Blackburn, Patrick and de Rijke, Maarten and Venema, Yde},\n\tdate-added = {2020-02-03 14:16:10 +0100},\n\tdate-modified = {2020-02-03 14:16:10 +0100},\n\tnote = {Reprinted with corrections.},\n\tpublisher = {Cambridge University Press},\n\ttitle = {Modal Logic},\n\turl = {http://www.cambridge.org/nl/academic/subjects/computer-science/programming-languages-and-applied-logic/modal-logic?format=PB},\n\tyear = {2004},\n\tbdsk-url-1 = {http://www.cambridge.org/nl/academic/subjects/computer-science/programming-languages-and-applied-logic/modal-logic?format=PB}}\n\n","author_short":["Blackburn, P.","de Rijke, M.","Venema, Y."],"key":"blackburn-modal-2004","id":"blackburn-modal-2004","bibbaseid":"blackburn-derijke-venema-modallogic-2004","role":"author","urls":{"Paper":"http://www.cambridge.org/nl/academic/subjects/computer-science/programming-languages-and-applied-logic/modal-logic?format=PB"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"book","biburl":"https://staff.fnwi.uva.nl/m.j.marx/ilps.bib","dataSources":["RtX3R9fNgLtNLANLf"],"keywords":[],"search_terms":["modal","logic","blackburn","de rijke","venema"],"title":"Modal Logic","year":2004}