On some classes of formulas in $S5$ which are pre-complete relative to existential expressibility.

Published in: Comput. Sci. J. Moldova (2023)

Keyphrases