Rule of necessitation

  1. REDIRECT modal logic#Formal rules

{{R to section}}