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