Mario Alviano Sotiris Batsakis George Baryannis Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds. 16-28 2022 LPNMR https://doi.org/10.1007/978-3-031-15707-3_2 conf/lpnmr/2022 db/conf/lpnmr/lpnmr2022.html#AlvianoBB22