Intuitionistic Hybrid Logic

Torben Braüner, Valeria de Paiva

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftJournal of Applied Logic
Vol/bind4
Udgave nummer3
Sider (fra-til)231-255
Antal sider25
ISSN1570-8683
StatusUdgivet - 2006

Citer dette

Braüner, T., & de Paiva, V. (2006). Intuitionistic Hybrid Logic. Journal of Applied Logic, 4(3), 231-255.
Braüner, Torben ; de Paiva, Valeria. / Intuitionistic Hybrid Logic. I: Journal of Applied Logic. 2006 ; Bind 4, Nr. 3. s. 231-255.
@article{c47881906d9811dbb485000ea68e967b,
title = "Intuitionistic Hybrid Logic",
author = "Torben Bra{\"u}ner and {de Paiva}, Valeria",
year = "2006",
language = "English",
volume = "4",
pages = "231--255",
journal = "Journal of Applied Logic",
issn = "1570-8683",
publisher = "Elsevier BV",
number = "3",

}

Braüner, T & de Paiva, V 2006, 'Intuitionistic Hybrid Logic', Journal of Applied Logic, bind 4, nr. 3, s. 231-255.

Intuitionistic Hybrid Logic. / Braüner, Torben; de Paiva, Valeria.

I: Journal of Applied Logic, Bind 4, Nr. 3, 2006, s. 231-255.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

TY - JOUR

T1 - Intuitionistic Hybrid Logic

AU - Braüner, Torben

AU - de Paiva, Valeria

PY - 2006

Y1 - 2006

M3 - Journal article

VL - 4

SP - 231

EP - 255

JO - Journal of Applied Logic

JF - Journal of Applied Logic

SN - 1570-8683

IS - 3

ER -