summaryrefslogtreecommitdiff
path: root/Assignment1/syntax.tex
AgeCommit message (Expand)AuthorFilesLines
2018-04-22Examples for equivalenceCamil Staps1-1/+1
2018-04-19Fix vertical placing of XopCamil Staps1-2/+2
2018-04-19Example for satisfaction by words; still needed: satisfaction by TS (and equi...Camil Staps1-1/+1
2018-04-19Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingErin van der Veen1-28/+59
2018-04-19Safra's determinization algorithmErin van der Veen1-1/+1
2018-04-18Example: protocol dependenciesCamil Staps1-5/+21
2018-04-18(for me) more intuitive intuitive semanticsCamil Staps1-12/+15
2018-04-18Minor enhancementsCamil Staps1-8/+22
2018-04-18Finish(?) SSH exampleCamil Staps1-8/+6
2018-04-18Start with editing of the syntactic algorithm for PLTL -> LTLCamil Staps1-0/+1
2018-04-17Start with minimal bad prefixesCamil Staps1-1/+1
2018-04-17Deriving the formal semantics of derived operatorsCamil Staps1-5/+5
2018-04-17Add definitions of wff, wff0, wff+, wff- (and an exercise about them)Camil Staps1-1/+28
2018-04-13Add an exercise about dual modalitiesCamil Staps1-0/+1
2018-04-12Organise in different filesCamil Staps1-0/+153
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 19:07:24 +0000