Adding intensional machinery to hybrid logic

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

2 Citationer (Scopus)

Originalsprog	Engelsk
Tidsskrift	Journal of Logic and Computation
Vol/bind	18
Udgave nummer	4
Sider (fra-til)	631-648
Antal sider	18
ISSN	0955-792X
DOI	https://doi.org/10.1093/logcom/exn005
Status	Udgivet - 2008

Adgang til dokumentet

@article{12d507e0d64911dca369000ea68e967b,

title = "Adding intensional machinery to hybrid logic",

author = "Torben Bra{\"u}ner",

year = "2008",

doi = "10.1093/logcom/exn005",

language = "English",

volume = "18",

pages = "631--648",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "4",

}