On the Model Checking of the Graded $$μ $$ -calculus on Trees - Bárcenas, Everardo; Benítez-Guerrero, Edgard; Lavalle, Jesús (Advances in Artificial Intelligence and Soft Computing, 2015)
Keywords: Accessible Node; Description Logic; Input Tree; Linear Temporal Logic; Model Check