Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible w...