thodg/slides/modal-logic

---

modal-logic

---

Log

Author	Commit	Date	CI	Message
	7849e27b	2020-05-22T11:45:17		modal-logic: simplify definitions
	ccd5ed5c	2020-05-22T11:42:51		update modal-logic
	8e5f1922	2020-05-22T11:24:07		modal logic: possibly
	955b1103	2020-05-17T12:14:58		modal logic