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.