Alethic logic

Summary