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