A Tableau Method for Checking Rule Admissibility in S4

Sergey Babenyshev, Vladimir Rybakov, Renate A Schmidt, Dmitry Tishkovsky, Christopher Lynch (Editor), Paliath Narendran (Editor), Franz Baader (Editor), Silvio Ghilardi (Editor), Miki Hermann (Editor), Viorica Sofronie-Stokkermans (Editor), Ashish Tiwari (Editor)

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

    Original languageEnglish
    Title of host publicationProceedings of the 23d International Workshop on Unification (UNIF'09) and the International Workshop on Automated Deduction: Decidability, Complexity, Tractability (ADDCT'09)
    EditorsChristopher Lynch, Paliath Narendran, Franz Baader, Silvio Ghilardi, Miki Hermann, Viorica Sofronie-Stokkermans, Ashish Tiwari
    Pages47-61
    Number of pages15
    Publication statusPublished - 2009

    Cite this