tidslogik
Tidslogik, temporallogik, den form for logik, hvor udsagns sandhedsværdier varierer i tid i modsætning til den klassiske logik. Lad fx q være sætningen: "Det regner i Nykøbing". I klassisk logik anses q ikke for et fuldstændigt udsagn, da det mangler