Intuitionistic hybrid logic: Introduction and survey

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Resumé

Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area.
OriginalsprogEngelsk
TidsskriftInformation and Computation
Vol/bind209
Udgave nummer2
Sider (fra-til)1437-1446
ISSN0890-5401
DOI
StatusUdgivet - 2011

Emneord

    Citer dette

    @article{33c2a0e4d829437aaa4343f53547e224,
    title = "Intuitionistic hybrid logic: Introduction and survey",
    abstract = "Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area.",
    keywords = "Intuitionistic logic, Hybrid logic, Modal logic",
    author = "Torben Bra{\"u}ner",
    year = "2011",
    doi = "10.1016/j.ic.2011.10.001",
    language = "English",
    volume = "209",
    pages = "1437--1446",
    journal = "Information and Computation",
    issn = "0890-5401",
    publisher = "Academic Press",
    number = "2",

    }

    Intuitionistic hybrid logic : Introduction and survey. / Braüner, Torben.

    I: Information and Computation, Bind 209, Nr. 2, 2011, s. 1437-1446.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    TY - JOUR

    T1 - Intuitionistic hybrid logic

    T2 - Introduction and survey

    AU - Braüner, Torben

    PY - 2011

    Y1 - 2011

    N2 - Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area.

    AB - Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area.

    KW - Intuitionistic logic

    KW - Hybrid logic

    KW - Modal logic

    U2 - 10.1016/j.ic.2011.10.001

    DO - 10.1016/j.ic.2011.10.001

    M3 - Journal article

    VL - 209

    SP - 1437

    EP - 1446

    JO - Information and Computation

    JF - Information and Computation

    SN - 0890-5401

    IS - 2

    ER -