modal-logic

Branch


Log

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