Intuitionistic Hybrid Logic

Torben Braüner, Valeria de Paiva

Research output: Contribution to journalJournal articleResearchpeer-review

Original languageEnglish
JournalJournal of Applied Logic
Volume4
Issue number3
Pages (from-to)231-255
Number of pages25
ISSN1570-8683
Publication statusPublished - 2006

Cite this

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. In: Journal of Applied Logic. 2006 ; Vol. 4, No. 3. pp. 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, vol. 4, no. 3, pp. 231-255.

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

In: Journal of Applied Logic, Vol. 4, No. 3, 2006, p. 231-255.

Research output: Contribution to journalJournal articleResearchpeer-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 -