時間論理じかんろんり<じ'かん>・ろん'り4

Logiktemporale LogikZeitlogik