Adding intensional machinery to hybrid logic

Research output: Contribution to journalJournal articleResearchpeer-review

Original languageEnglish
JournalJournal of Logic and Computation
Volume18
Issue number4
Pages (from-to)631-648
Number of pages18
ISSN0955-792X
DOIs
Publication statusPublished - 2008

Cite this

@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",

}

Adding intensional machinery to hybrid logic. / Braüner, Torben.

In: Journal of Logic and Computation, Vol. 18, No. 4, 2008, p. 631-648.

Research output: Contribution to journalJournal articleResearchpeer-review

TY - JOUR

T1 - Adding intensional machinery to hybrid logic

AU - Braüner, Torben

PY - 2008

Y1 - 2008

U2 - 10.1093/logcom/exn005

DO - 10.1093/logcom/exn005

M3 - Journal article

VL - 18

SP - 631

EP - 648

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

IS - 4

ER -