関連ワード:  modal logic rules    modal logic rules of inference    modal logic proof of god    3 rules of logic  
結果 : modal logic rules