Modal Logic S5 Satisfiability in Answer Set Programming

Mario Alviano, Sotiris Batsakis, George Baryannis

Modal logic S5 has attracted significant attention and has led to several practical applications, owing to its simplified approach to dealing with nesting modal operators. Efficien…