• 논리기호,logic_symbol
       ||[[necessity]] ||□p ||Lp or Γp ||(〃) ||
• 로직,logic
       "Any [[formal_system]] that attempts to deal with [[modality|modalities]], such as [[가능성,possibility]] and [[necessity]], but also [[obligation]] and [[permission]]{ 허가? [[퍼미션,permission]]페이지는 존재 }." (wt)

You can also click here to search title.