Trepo - Selaus asiasanan mukaan "haarautuva aikalogiikka"

Tutkielma toimii johdantona aikalogiikoihin, joiden avulla voidaan tarkastella erilaisten tapahtumien totuutta eri ajankohtina. Tässä tutkielmassa esitetään olennaisimmat käsitteet ja määritelmät liittyen modaalilogiikkaan, ...