On the Predicate Logic of Linear Kripke Frames and some of its Extensions
The State Transition Self-learning Framework Based on Generalized Intuitionistic Fuzzy Kripke Structure