Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic

Jim de Groot*, Dirk Pattinson

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Citations (Scopus)

    Abstract

    Bi-intuitionistic logic is an extension of intuitionistic propositional logic with a binary operator that is residuated with respect to disjunction. Our main result is a Hennessy-Milner property for bi-intuitionistic logic interpreted over certain classes of Kripke models. We generalise this to obtain a corresponding result for modal bi-intuitionistic logic. Our main technical tools are a categorical duality between (modal) descriptive Kripke frames and (modal) bi-Heyting algebras, and the use of behavioural equivalence.

    Original languageEnglish
    Title of host publicationLogic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings
    EditorsRosalie Iemhoff, Michael Moortgat, Ruy de Queiroz
    PublisherSpringer Verlag
    Pages161-176
    Number of pages16
    ISBN (Print)9783662595329
    DOIs
    Publication statusPublished - 2019
    Event26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 - Utrecht, Netherlands
    Duration: 2 Jul 20195 Jul 2019

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume11541 LNCS
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019
    Country/TerritoryNetherlands
    CityUtrecht
    Period2/07/195/07/19

    Fingerprint

    Dive into the research topics of 'Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic'. Together they form a unique fingerprint.

    Cite this