Tudományos elméletek logikai modellezése I.: Az idő és a téridő logikája - (:unkn) unknown (My University, 2026)