様相 ようそう論理 ろんり がくであれば
yōsōronrigakudeareba

Noun
Da Copula

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

1. If modal logic…; If it were modal logic…

Ba Conditional