U-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logics

Tim French, G. D'Agostino, G. Lenzi

    Research output: Contribution to journalArticle

    1 Citation (Scopus)
    Original languageEnglish
    Pages (from-to)297-309
    JournalJournal of Applied Non-Classical Logics
    Volume16
    Issue number40271
    Publication statusPublished - 2006

    Cite this

    @article{977b626674ea42d5bdfc3ad4856ec8d1,
    title = "U-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logics",
    author = "Tim French and G. D'Agostino and G. Lenzi",
    year = "2006",
    language = "English",
    volume = "16",
    pages = "297--309",
    journal = "Journal of Applied Non-Classical Logics",
    issn = "0102-3411",
    publisher = "Taylor & Francis",
    number = "40271",

    }

    U-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logics. / French, Tim; D'Agostino, G.; Lenzi, G.

    In: Journal of Applied Non-Classical Logics, Vol. 16, No. 40271, 2006, p. 297-309.

    Research output: Contribution to journalArticle

    TY - JOUR

    T1 - U-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logics

    AU - French, Tim

    AU - D'Agostino, G.

    AU - Lenzi, G.

    PY - 2006

    Y1 - 2006

    M3 - Article

    VL - 16

    SP - 297

    EP - 309

    JO - Journal of Applied Non-Classical Logics

    JF - Journal of Applied Non-Classical Logics

    SN - 0102-3411

    IS - 40271

    ER -