Balbiani and Demri. "Prefixed Tableaux Systems for Modal Logics with Enriched Languages." International Joint Conference on Artificial Intelligence, 1997.
Markdown
[Balbiani and Demri. "Prefixed Tableaux Systems for Modal Logics with Enriched Languages." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/balbiani1997ijcai-prefixed/)
BibTeX
@inproceedings{balbiani1997ijcai-prefixed,
title = {{Prefixed Tableaux Systems for Modal Logics with Enriched Languages}},
author = {Balbiani, Philippe and Demri, Stéphane},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1997},
pages = {190-195},
url = {https://mlanthology.org/ijcai/1997/balbiani1997ijcai-prefixed/}
}