Strong Forgetting in Hennessy-Milner Logic.

Xin Zhou Yisong Wang Renyan Feng Songhang Xu

Published in: TASE (2024)

Keyphrases

modal logic
classical logic
logic programming
case study
incremental learning
multi valued
digital circuits
artificial intelligence
computer vision
decision making
bayesian networks
first order logic
set theory
asynchronous circuits
proof theory
sound and complete axiomatization