A Tableau Method for Checking Rule Admissibility in S4

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Methods for Modalities-6 Workshop Proceedings (M4M'09)
Editors	Thomas Bolander, Torben Braüner
Pages	12-26
Number of pages	15
Publication status	Published - 2009

Cite this

@inproceedings{20854d3a272a4e329f9c282ecb2604e6,

title = "A Tableau Method for Checking Rule Admissibility in S4",

author = "Sergey Babenyshev and Vladimir Rybakov and Schmidt, \{Renate A\} and Dmitry Tishkovsky and Thomas Bolander and Torben Bra{\"u}ner",

year = "2009",

language = "English",

pages = "12--26",

editor = "Thomas Bolander and Torben Bra{\"u}ner",

booktitle = "Methods for Modalities-6 Workshop Proceedings (M4M'09)",

}

TY - GEN

T1 - A Tableau Method for Checking Rule Admissibility in S4

AU - Babenyshev, Sergey

AU - Rybakov, Vladimir

AU - Schmidt, Renate A

AU - Tishkovsky, Dmitry

A2 - Bolander, Thomas

A2 - Braüner, Torben

A2 - Bolander, Thomas

A2 - Braüner, Torben

PY - 2009

Y1 - 2009

M3 - Conference contribution

SP - 12

EP - 26

BT - Methods for Modalities-6 Workshop Proceedings (M4M'09)

ER -