時相論理

そう・ろjisō·ronri4

N.
Logik temporale Logik f f; Zeitlogik f f.