Extending Hybrid Logic: The Two-Sorted Case (bibtex)

by Yì N. Wáng

Reference:

Extending Hybrid Logic: The Two-Sorted Case (Yì N. Wáng), PhD thesis, Peking University, 2009.

Bibtex Entry:

@phdthesis{Wang2009thesis,
	author = {Y\`{i} N. W\'{a}ng},
	date-modified = {2017-12-27 15:31:57 +0000},
	school = {Peking University},
	title = {Extending Hybrid Logic: The Two-Sorted Case},
	year = {2009}}