Logic in Model-CheckingLogic in Model-Checkingpositive equality-free logic.New insights into model-checking usingLogic in Computer SciencePositive Equality-Free Logic in Model-CheckingExploring the impact of positive equality-free logic on model-checking methods.2025-06-22T12:30:36+00:00 ― 6 min read