Anh
modal logic
Đức
Modallogik
Pháp
logique modale
logique modale /IT-TECH/
[DE] Modallogik
[EN] modal logic
[FR] logique modale