Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
ALVIANO, MARIO
BATSAKIS, SOTIRIS
and
BARYANNIS, GEORGE
2021.
Modal Logic S5 Satisfiability in Answer Set Programming.
Theory and Practice of Logic Programming,
Vol. 21,
Issue. 5,
p.
527.
Tarau, Paul
2021.
Logic-Based Program Synthesis and Transformation.
Vol. 12561,
Issue. ,
p.
329.
Eckhardt, Timo
and
Pym, David J
2024.
Base-extension semantics for modal logic.
Logic Journal of the IGPL,