様相 ようそう論理 ろんり がくだったら
yō sō ronriga kudattara

Noun
Da Copula

The "-tara" conditional form ("if/when…") of 様相論理学

1. If modal logic; Were modal logic

Tara Conditional