@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
| Autor(en): | Bernhard Beckert und Rajeev Goré |
|---|---|
| Zeitschrift: | Studia Logica |
| Nummer: | 1 |
| Band: | 69 |
| Jahr: | 2001 |
| Seiten: | 59-96 |