• 가능성,possibility . . . . 14 matches
       이것은 modal_logic 관련. Srch:possible_
       modal_logic =,modal_logic . modal_logic
       위 둘은 modal_logic 의 unary_operator s. (we)
       normal_modal_logic
       https://en.wikipedia.org/wiki/Normal_modal_logic
       epistemic_modal_logic
       ''MKCLEAR: epistemic_modal_logic epistemic_logic 관계. 둘이 같은 것 같은데(일단 wk만 보면)''
       https://en.wikipedia.org/wiki/Epistemic_modal_logic
       "'''Provability logic''' is a modal_logic that is used to investigate what arithmetical theories can express in a restricted_language{ [[언어,language]] with [[리스트릭션,restriction]]{규제 제한 제약 구속 ... NdEn:restriction Ndict:restriction } about their provability_predicate (wr) s. { 증명가능성을 표기하는 [[술어,predicate]]? }" (sep)
       modal_logic[* "Provability logic is a modal logic that" https://plato.stanford.edu/entries/logic-provability/]
       https://en.wikipedia.org/wiki/Modal_logic
       https://encyclopediaofmath.org/wiki/Modal_logic
• 로직,logic . . . . 9 matches
       [[modal_logic]] =,modal_logic . modal_logic
       WtEn:modal_logic
        epistemic modal logic, a subfield of [[modal_logic]] that is concerned with reasoning about knowledge.
        [[진술,statement]]에 [[믿음,belief]]이 포함된 경우를 다루는 [[modal_logic]]의 한 갈래?
       [[WpEn:Dynamic_logic_(modal_logic)]]
       = https://en.wikipedia.org/wiki/Dynamic_logic_(modal_logic)
       = https://en.wikipedia.org/wiki/Dynamic_logic_%28modal_logic%29
• 모드,mode . . . . 5 matches
       [[modal_logic]] =,modal_logic . modal_logic ////Srch:modal_logic
        WtEn:modal_logic
• 논리기호,logic_symbol . . . . 3 matches
       ||[[possibility]] ||◇p ||Mp or Δp ||([[modal_logic]] [[WpEn:Modal_logic]] [[양상논리,modal_logic]]) ||
• 시맨틱스,semantics . . . . 2 matches
       [[modal_logic]]
       modal_logic
• 양상,modality . . . . 1 match
       Srch:modal_logic
• 진리값,truth_value . . . . 1 match
       양상논리, modal_logic 와..

You can also click here to search title.