thodg/slides/modal-logic

Branch :

Log

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