User:Alethic Logic

Alethic Logic: The modal logic of necessity and possibility and contingency