様相論理

そう・ろyōsō·ronri5

N.
Logik Modallogik f f.