Yakoub Salhi. On satisfiability problem in modal logic S5. In Chih-Cheng Hung, Tomás Cerný, Dongwan Shin, Alessio Bechini, editors, SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020. pages 948-955, ACM, 2020. [doi]
@inproceedings{Salhi20,
title = {On satisfiability problem in modal logic S5},
author = {Yakoub Salhi},
year = {2020},
doi = {10.1145/3341105.3373940},
url = {https://doi.org/10.1145/3341105.3373940},
researchr = {https://researchr.org/publication/Salhi20},
cites = {0},
citedby = {0},
pages = {948-955},
booktitle = {SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020},
editor = {Chih-Cheng Hung and Tomás Cerný and Dongwan Shin and Alessio Bechini},
publisher = {ACM},
isbn = {978-1-4503-6866-7},
}