The Modal Logic S4F, the Default Logic, and the Logic Here-and-There

Truszczynski. "The Modal Logic S4F, the Default Logic, and the Logic Here-and-There." AAAI Conference on Artificial Intelligence, 2007.

[Truszczynski. "The Modal Logic S4F, the Default Logic, and the Logic Here-and-There." AAAI Conference on Artificial Intelligence, 2007.](https://mlanthology.org/aaai/2007/truszczynski2007aaai-modal/)

@inproceedings{truszczynski2007aaai-modal,
  title     = {{The Modal Logic S4F, the Default Logic, and the Logic Here-and-There}},
  author    = {Truszczynski, Miroslaw},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {508-514},
  url       = {https://mlanthology.org/aaai/2007/truszczynski2007aaai-modal/}
}