next up previous
Next: Knowledge set and knowledge Up: On the Model Theory Previous: Completeness of KT5-models

The Puzzle of Unfaithful Wives

We begin by explaining the notions of knowledge base and knowledge set, which are fundamental for our formalization of the puzzle of unfaithful wives.

Yasuko Kitajima
Fri Jun 20 13:39:43 PDT 1997