@article{Beckert97b,
author = {Bernhard Beckert and Rajeev Gor\'e},
title = {Free-variable Tableaux for Propositional Modal Logics},
journal = {Studia Logica},
volume = {69},
number = {1},
pages = {59--96},
year = {2001}
}
Free-variable Tableaux for Propositional Modal Logics
| Author(s): | Bernhard Beckert and Rajeev Goré |
|---|---|
| Journal: | Studia Logica |
| Number: | 1 |
| Volume: | 69 |
| Year: | 2001 |
| Pages: | 59-96 |