Next:
Normal form for proposition
Normal form for S5 models with one agent.
Normal form for proposition logic
Normal form for S5 models with one agent
Normalizer program
Exercises
About this document ...
Harmen Wassenaar
2001-09-07