Patrick Blackburn, Valentin Goranko. Hybrid Ockhamist Temporal Logic. In TIME. pages 183-188, 2001. [doi]
@inproceedings{BlackburnG01, title = {Hybrid Ockhamist Temporal Logic}, author = {Patrick Blackburn and Valentin Goranko}, year = {2001}, url = {http://www.computer.org/proceedings/time/1107/11070183abs.htm}, tags = {logic}, researchr = {https://researchr.org/publication/BlackburnG01}, cites = {0}, citedby = {0}, pages = {183-188}, booktitle = {TIME}, }