Skip to main navigation Skip to search Skip to main content

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/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