1. Non-Well-Founded Sets;Aczel,1988
2. The Russell–Prawitz modality;Aczel;Math. Struct. Comput. Sci.,2001
3. Bibliography: Hugh MacColl;Astroh;Nordic J. Philos. Logic,1998
4. The Situation in Logic;Barwise,1989
5. Correction de la logique modale du premier et du second ordre S5;Bayart;Logique et Anal.,1958