Modálna logika: Rozdiel medzi revíziami