summaryrefslogtreecommitdiff
path: root/Assignment1/exercises.tex
AgeCommit message (Expand)AuthorFilesLines
2018-04-17Deriving the formal semantics of derived operatorsCamil Staps1-1/+2
2018-04-17Add definitions of wff, wff0, wff+, wff- (and an exercise about them)Camil Staps1-0/+25
2018-04-13Add an exercise about dual modalitiesCamil Staps1-0/+30
2018-04-12Organise in different filesCamil Staps1-0/+142