Single Step Tableaux for Modal Logics

Authors
F.Massacci
Citation
F.massacci, Single Step Tableaux for Modal Logics, Journal of automated reasoning , 24(3), 2000, pp. 319-364
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
24
Issue
3
Year of publication
2000
Pages
319 - 364
Database
ACNP
SICI code