并發MetateM是一種多代理語言，在這種語言中，每個代理都是用一組它應該表現的行為的（增強的）時間邏輯規范來編程的。這些規范被直接執行以產生代理的行為。因此，不存在邏輯無效的風險，就像那些必須首先將邏輯規范翻譯成低級別的實現的系統。MetateM概念的根源是Gabbay的分離定理；任何任意的時間邏輯公式都可以被改寫成邏輯上等同于過去→未來的形式。執行的過程是不斷地將規則與歷史相匹配，并在前因得到滿足時啟動這些規則。任何實例化的未來時間的結果成為承諾，隨后必須得到滿足，反復生成由程序規則組成的公式模型。

下一個?ρ現在滿足，如果ρ在下一個時間點是真的。某個時候◇ρ現在滿足，如果ρ在現在或在未來的任何時刻都是真的。如果ρ在現在和未來的每一時刻都是真實的，那么現在就滿足了□ρ。如果ψ在未來任何時刻為真，且ρ在之前的每一時刻為真，則直到ρUψ現在得到滿足。