Knowledge forgetting in propositional μ-calculus

Renyan Feng, Yisong Wang, Ren Qian, Lei Yang, Panfeng Chen. Knowledge forgetting in propositional μ-calculus. Annals of Mathematics and Artificial Intelligence, 91(1):1-43, 2023. [doi]

Abstract

Abstract is missing.