Variants of first-order modal logics (bibtex)

by Cialdea Mayer, Marta and Cerrito, Serenella

Reference:

Variants of first-order modal logics (Cialdea Mayer, Marta and Cerrito, Serenella), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1847 LNAI, 2000.

Bibtex Entry:

@article{Mayer2000175,
	Author = {Cialdea Mayer, Marta and Cerrito, Serenella},
	Date-Added = {2019-09-16 14:38:36 +0200},
	Date-Modified = {2019-09-16 14:38:36 +0200},
	Document_Type = {Conference Paper},
	Doi = {10.1007/10722086_16},
	Journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
	Pages = {175-189},
	Source = {Scopus},
	Title = {Variants of first-order modal logics},
	Volume = {1847 LNAI},
	Year = {2000},
	Bdsk-Url-1 = {https://doi.org/10.1007/10722086_16}}