Tableau-Based Decision Procedures for Hybrid Logic

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Journal of Logic and Computation
Vol/bind	16
Udgave nummer	6
Sider (fra-til)	737-763
Antal sider	27
ISSN	0955-792X
Status	Udgivet - 2006

Citer dette

@article{4159e6e0aaf211db8289000ea68e967b,

title = "Tableau-Based Decision Procedures for Hybrid Logic",

author = "Torben Bra{\"u}ner and Thomas Bolander",

year = "2006",

language = "English",

volume = "16",

pages = "737--763",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "6",

}