Kripke's possible-worlds semantics gives a fully adequate, extensionally correct account of modal op...