Return to Article Details Some decidable classes of formulas of modal logic S4
Download