A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities (bibtex)

by S. Cerrito and Cialdea Mayer, Marta

Reference:

A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities (S. Cerrito and Cialdea Mayer, Marta), In Journal of Automated Reasoning, volume 51, 2013.

Bibtex Entry:

@article{Cerrito2013197,
	Author = {S. Cerrito and Cialdea Mayer, Marta},
	Date-Added = {2019-09-16 14:38:36 +0200},
	Date-Modified = {2019-09-16 14:38:36 +0200},
	Document_Type = {Article},
	Doi = {10.1007/s10817-012-9257-2},
	Journal = {Journal of Automated Reasoning},
	Number = {2},
	Pages = {197-239},
	Source = {Scopus},
	Title = {A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities},
	Volume = {51},
	Year = {2013},
	Bdsk-Url-1 = {https://doi.org/10.1007/s10817-012-9257-2}}