subpage를 나열하기 위해 string '가능성' 을 내 db들에서 찾아보니
미분가능성,differentiability은 possibility의 subpage? 생각해보니 아님. (반드시 가능하다 vs 가능할 수도 있다)의 차이.
how about 충족가능성,satisfiability?

그럼...
반드시 가능하다 - ability ?
{
math에서
미분가능성,differentiability
가측성,measurability ....측정,measurement과? 측도,measure와? mkl. ....(직역하면) '측정가능성'? '측도화가능성'??

CS에서
계산가능성,computability 계산가능성 ? computable adj. 계산,computation rel. computability_theory ... curr at 알고리듬%2Calgorithm?action=highlight&value=computability
결정가능성,decidability
reachability =,reachability . reachability
... chk:
immutability / opp mutability? immutable / mutable adj.
visibility visible adj.
compatibility ??
}

예측,prediction가능성: 예측가능성,predictability (w)

(논리학)
가능세계,possible_world w
possible_universe
이것은 modal_logic 관련. possible_
tmp video ko
{
가장 쉽게 이해하는 '가능세계' 이해황 - YouTube https://www.youtube.com/watch?v=L3PxAVJBy4E
}

modal_logic =,modal_logic . modal_logic
{
에서
□ 필연성 - necessity
◇ 개연성 가능성 ... - possibility
(misc. delme. 위 두 기호 ㅁ+한자키로 입력했는데 크기가 너무 차이난다. 어떻게 하는게 최선? TeX 기호 사용하면 $\displaystyle \qed \diamond$ 도 별로인데 어떻게 하는게 최선일지)

위 둘은 modal_logic 의 unary_operator s. (we)

//we:{
대부분의 epistemic_logic { https://ko.wikipedia.org/wiki/인식_논리 } s들에서
다음 modal_formula 를 이렇게 읽는다고.
//}

modality: // 번역은 양상(modality), 명제,proposition의 필연성·가능성·불가능성 같은 것. ... 언어학에서는 양태_(문법)
https://ncatlab.org/nlab/show/necessity and possibility
https://encyclopediaofmath.org/wiki/Modality

accessibility =,accessibility . accessibility
{
접근,access가능성?
}
accessibility_relation =,accessibility_relation .
{
accessibility 관계,relation
https://en.wikipedia.org/wiki/Accessibility_relation
}

Sub:

normal_modal_logic
https://en.wikipedia.org/wiki/Normal_modal_logic

epistemic_modal_logic
인식론,epistemology =인식론,epistemology =,epistemology . epistemology { http://www.aistudy.com/philosophy/epistemology.htm https://everything2.com/title/epistemology 인식론 }
MKCLEAR: epistemic_modal_logic epistemic_logic 관계. 둘이 같은 것 같은데(일단 wk만 보면)
https://en.wikipedia.org/wiki/Epistemic_modal_logic
https://ncatlab.org/nlab/show/epistemic modal logic
epistemic modal logic
epistemic+modal+logic

provability_logic (wr) =,provability_logic . provability_logic
"Provability logic is a modal_logic that is used to investigate what arithmetical theories can express in a restricted_language{ 언어,language with 리스트릭션,restriction{규제 제한 제약 구속 ... restriction restriction } about their provability_predicate (wr) s. { 증명가능성을 표기하는 술어,predicate? }" (sep)
Inter:
provability_logic
https://plato.stanford.edu/entries/logic-provability/

Up:
modal_logic[1]
provability

provability logic
provability+logic

modal_connective = modal_operator
modal connective modal operator
modal connective (or modal operator)
https://en.wikipedia.org/wiki/Modal_operator
logical_connective for modal logic

MKL

doxastic_logic
doxastic_logic =,doxastic_logic . doxastic_logic
doxastic logic
doxastic_logic
믿음,belief? =믿음,belief =,belief . { Cmp: faith(신앙, 저것도 믿음으로 번역) ... MKL likelihood 진리,truth ... https://simple.wikipedia.org/wiki/Belief }
의견,opinion?
https://en.wikipedia.org/wiki/Doxastic_logic
https://ncatlab.org/nlab/show/doxastic logic
doxastic+logic

Int:
https://ko.wikipedia.org/wiki/양상_논리
https://en.wikipedia.org/wiki/Modal_logic
https://encyclopediaofmath.org/wiki/Modal_logic
https://plato.stanford.edu/entries/logic-modal/

MKL
표현들 - mode ( 모드,mode ? ) logic ( 논리,logic 논리학,logic 로직,logic )
}

Cmp: 필연성,necessity
필연성,necessity =필연성,necessity =,necessity . 필연성 necessity
{

Sub:
필연적진리,necessary_truth - 진리,truth

필연성
필연성
필연성

}

비슷한단어 가능도,likelihood