Finitary S5-theories. Son, T. C., Pontelli, E., Baral, C., & Gelfond, G. In European Workshop on Logics in Artificial Intelligence, pages 239–252, 2014. Springer, Cham.
bibtex   
@inproceedings{son2014finitary,
  title={Finitary S5-theories},
  author={Son, Tran Cao and Pontelli, Enrico and Baral, Chitta and Gelfond, Gregory},
  booktitle={European Workshop on Logics in Artificial Intelligence},
  pages={239--252},
  year={2014},
  organization={Springer, Cham}
}

Downloads: 0