Free-variable tableaux for constant-domain quantified modal logics with rigid and non-rigid designation (bibtex)

by Cerrito, Serenella and Cialdea Mayer, Marta

Reference:

Free-variable tableaux for constant-domain quantified modal logics with rigid and non-rigid designation (Cerrito, Serenella and Cialdea Mayer, Marta), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 2083 LNAI, 2001.

Bibtex Entry:

@article{Cerrito2001137,
	Author = {Cerrito, Serenella and Cialdea Mayer, Marta},
	Date-Added = {2019-09-16 14:38:36 +0200},
	Date-Modified = {2019-09-16 14:38:36 +0200},
	Document_Type = {Conference Paper},
	Journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
	Pages = {137-151},
	Source = {Scopus},
	Title = {Free-variable tableaux for constant-domain quantified modal logics with rigid and non-rigid designation},
	Url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84867755362&partnerID=40&md5=32ccd5c2a00bd2fa7408ae25c7782ad2},
	Volume = {2083 LNAI},
	Year = {2001},
	Bdsk-Url-1 = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84867755362&partnerID=40&md5=32ccd5c2a00bd2fa7408ae25c7782ad2}}