Model Checking and Validity in Propositional and Modal Inclusion Logics

Lauri Hella, Antti Kuusisto, Arne Meier, Virtema Jonni

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

    7 Citations (Scopus)
    Original languageEnglish
    Title of host publicationUnknown
    EditorsKim G Larsen, Hans L Bodlaender, Jean-Francois Raskin
    Place of PublicationDagstuhl
    DOIs
    Publication statusPublished - 2017
    Publication typeA4 Article in conference proceedings
    EventInternational Symposium on Mathematical Foundations of Computer Science -
    Duration: 1 Jan 2017 → …

    Publication series

    NameLeibniz international proceedings in informatics
    Number83
    ISSN (Print)1868-8969

    Conference

    ConferenceInternational Symposium on Mathematical Foundations of Computer Science
    Period1/01/17 → …

    Keywords

    • Complexity
    • Inclusion Logic
    • Model Checking

    Publication forum classification

    • Publication forum level 1

    Cite this