時相論理じそうろんり<じ'そう>・ろん'り4

Logiktemporale LogikZeitlogik