System G as "modal temporal logic with tiers without tears" (Myro, p. 409, in PGRICE)

A footnote reads:

"I venture to suggest that

the same point, mutatis

mutandis, can be made

concerning identity vis-a-vis

(alethic) modality. Indeed,

System G can be easily

reinterpreted as

'modal logic without tears', and

by repeating the moves

thereby System G was obtained

from PCI [predicate calculus with

identity] one can obtain

a 'modal temporal logic with tiers without

tears'. It is also not unlikely

that the FORMAL STRUCTURE of System G

can be useful for detailed

investigation of

propositional attitudes."