Minimal Models for Modal Logics

Renate Schmidt, R A Schmidt (Editor), F Papacchini (Editor)

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

    Original languageEnglish
    Title of host publicationProceedings of the Nineteenth Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice (ARW 2012)
    EditorsR A Schmidt, F Papacchini
    PublisherUniversity of Manchester, School of Computer Science
    Publication statusPublished - 2012

    Cite this