Miroslaw Truszczynski. The Modal Logic S4F, the Default Logic, and the Logic Here-and-There. In Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada. pages 508, AAAI Press, 2007.
@inproceedings{Truszczynski07:0,
title = {The Modal Logic S4F, the Default Logic, and the Logic Here-and-There},
author = {Miroslaw Truszczynski},
year = {2007},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/Truszczynski07%3A0},
cites = {0},
citedby = {0},
pages = {508},
booktitle = {Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada},
publisher = {AAAI Press},
isbn = {978-1-57735-323-2},
}