Ground and free-variable tableaux for variants of quantified modal logics (bibtex)

by Cialdea Mayer, Marta and Cerrito, Serenella

Reference:

Ground and free-variable tableaux for variants of quantified modal logics (Cialdea Mayer, Marta and Cerrito, Serenella), In Studia Logica, volume 69, 2001.

Bibtex Entry:

@article{Mayer200197,
	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 = {Article},
	Doi = {10.1023/A:1013838528631},
	Journal = {Studia Logica},
	Number = {1},
	Pages = {97-131},
	Source = {Scopus},
	Title = {Ground and free-variable tableaux for variants of quantified modal logics},
	Url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-33646184817&doi=10.1023%2fA%3a1013838528631&partnerID=40&md5=e1ebd1d3a9aff1a8c52aa722394a5937},
	Volume = {69},
	Year = {2001},
	Bdsk-Url-1 = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-33646184817&doi=10.1023%2fA%3a1013838528631&partnerID=40&md5=e1ebd1d3a9aff1a8c52aa722394a5937},
	Bdsk-Url-2 = {https://doi.org/10.1023/A:1013838528631}}