Characterizing stable models in terms of (propositional) formulas

Dec 23, 2020

It’s done once more. The part on the axiomatic characterization is revised, uploaded, and recorded - merry christmas!