Hintikka multiplicities in matrix decision methods for some propositional modal logics (bibtex)
by Cerrito, Serenella and Cialdea Mayer, Marta
Reference:
Hintikka multiplicities in matrix decision methods for some propositional modal logics (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 1227, 1997.
Bibtex Entry:
@article{Cerrito1997138,
	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},
	Doi = {10.1007/BFb0027410},
	Journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
	Pages = {138-152},
	Source = {Scopus},
	Title = {Hintikka multiplicities in matrix decision methods for some propositional modal logics},
	Volume = {1227},
	Year = {1997},
	Bdsk-Url-1 = {https://doi.org/10.1007/BFb0027410}}
Powered by bibtexbrowser