時相論理学じそうろんりがく<じ'そう>・ろん'り'がく6

Logiktemporale LogikZeitlogik