Title: Epistemic semantics for fixed-point non-monotonic logics
Subjects: Nonmonotonic reasoning, Programming languages (Electronic computers), Semantics, Symbolic and mathematical Logic