A Tableau Method for Checking Rule Admissibility in S4

Bibliographic Details
Authors and Corporations: Babenyshev, Sergey, Rybakov, Vladimir, Schmidt, Renate A., Tishkovsky, Dmitry
Title: A Tableau Method for Checking Rule Admissibility in S4
In: Electronic Notes in Theoretical Computer Science, 262, 2010, p. 17-32
published:
Elsevier BV
Physical Description:17-32
ISSN/ISBN: 1571-0661
Type of Resource:E-Article
Source:Elsevier BV (CrossRef)
Language: English