Knowledge forgetting in propositional (μ)-calculus

Renyan Feng, Yisong Wang, Ren Qian, Lei Yang, Panfeng Chen
January 2023
Cite DOI
Type
Journal article
Publication
Ann. Math. Artif. Intell.

Add the full text or supplementary notes for the publication here using Markdown formatting.