A háló-reprezentációk mögött működő aktualitások, időbeliségek, egyéb feltételrendszerek képezik a modalitásokat, amelyek a hasonlónak tűnő helyzeteket a feltételektől függően változtatják. A modális logikákra is volt utalás a modellépítés III. fejezetében.