Olivier Esser Mildly Ineffable Cardinals and Hiperuniverces. [Citation Graph (0, 0)][DBLP] Reports on Mathematical Logic, 2003, v:37, n:, pp:23-39 [Journal]
L. Dubikajtis On the First Order Logic True in Every Universe (Including the Empty Universe). [Citation Graph (0, 0)][DBLP] Reports on Mathematical Logic, 2003, v:37, n:, pp:41-57 [Journal]
Yoshihito Tanaka Some Proof Systems for Common Knowledge Predicate. [Citation Graph (0, 0)][DBLP] Reports on Mathematical Logic, 2003, v:37, n:, pp:79-100 [Journal]