Minimal Proof Search for Modal Logic K Model Checking

Abdallah Saffidine

Most modal logics such as S5, LTL, or ATL are extensions of Modal Logic K. While the model checking problems for LTL and to a lesser extent ATL have been very active research areas…