A Tableau Method for Checking Rule Admissibility in S4

Sergey Babenyshev, Vladimir Rybakov, Renate A Schmidt, Dmitry Tishkovsky, Thomas Bolander (Editor), Torben Braüner (Editor)

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

    Original languageEnglish
    Title of host publicationMethods for Modalities-6 Workshop Proceedings (M4M'09)
    EditorsThomas Bolander, Torben Braüner
    Pages12-26
    Number of pages15
    Publication statusPublished - 2009

    Cite this