Knowledge Compilation in the Modal Logic S5

Open in new window