Логики за пространството и времето, модални логики.