Strong Forgetting in Hennessy-Milner Logic
X Zhou, Y Wang, R Feng, S Xu - International Symposium on Theoretical …, 2024 - Springer
This paper concerns the problem of how to revise reactive systems for new specification in
inertial principle. It proposes a notion of the weakest sufficient condition (WSC) for Hennessy …
inertial principle. It proposes a notion of the weakest sufficient condition (WSC) for Hennessy …
[HTML][HTML] Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions
Forgetting is an important concept in knowledge representation and automated reasoning
with widespread applications across a number of disciplines. A standard forgetting operator …
with widespread applications across a number of disciplines. A standard forgetting operator …