epistemic modal logic, a subfield of modal_logic that is concerned with reasoning about knowledge.
dynamic epistemic logic, a logical framework dealing with knowledge and information change.

}

epistemic logic
}

[edit]

1.24. doxastic logic ¶

doxastic_logic =,doxastic_logic . doxastic_logic
{
doxastic logic

doxastic

doxastic_logic

진술,statement에 믿음,belief이 포함된 경우를 다루는 modal_logic의 한 갈래?

doxastic logic
}

[edit]

1.25. intuitionistic logic ¶

intuitionistic_logic =,intuitionistic_logic . intuitionistic_logic
intuitionistic logic
가능한 번역들:
직관주의 논리
직관논리
intuitionistic_logic

intuitionistic_logic = http://en.wiktionary.org/wiki/intuitionistic_logic

https://mathworld.wolfram.com/IntuitionisticLogic.html

Intuitionistic_logic ??? jjjjjj

Intuitionistic_logic = https://en.wikipedia.org/wiki/Intuitionistic_logic

...

직관주의 논리

직관주의 논리 ....

intuitionistic logic

Up:
직관주의,intuitionism =,직관주의 =,intuitionism . { 배중률{

배중률

배중률 }을 배제 ... rel. 직관,intuition { intuition

직관

intuition } .... https://ko.wikipedia.org/wiki/직관주의 https://en.wikipedia.org/wiki/Intuitionism }
비고전주의논리학

비고전주의논리학

[edit]

1.26. universal logic ¶

universal_logic =,universal_logic . universal_logic
universal logic

universal_logic
https://en.wikipedia.org/wiki/Universal_logic

[edit]

1.27. temporal logic ¶

시제논리 시간논리 ...둘중 하나로 번역.

https://ko.wikipedia.org/wiki/시간_논리
https://en.wikipedia.org/wiki/Temporal_logic

[edit]

1.27.1. linear temporal logic ¶

linear temporal logic

linear temporal logic
"linear temporal logic"

[edit]

1.27.2. alternating-time temporal logic ¶

https://en.wikipedia.org/wiki/Alternating-time_temporal_logic

alternating-time temporal logic
"alternating-time temporal logic"

[edit]

1.28. dynamic logic (modal logic) ¶

dynamic_logic

Dynamic_logic_(modal_logic)
= https://en.wikipedia.org/wiki/Dynamic_logic_(modal_logic)
= https://en.wikipedia.org/wiki/Dynamic_logic_(modal_logic)

[edit]

1.29. computation tree logic (CTL) ¶

computation tree logic
computation_tree_logic (CTL)

computational tree logic 이란 표현도 많이 보인다 ex.

CTL*

MKL temporal_logic

[edit]

1.29.1. CTL* ¶

"CTL* is a superset of computational tree logic(computation_tree_logic?) (CTL) and linear_temporal_logic (LTL). It freely combines path_quantifiers and temporal_operators. Like CTL, CTL* is a branching-time logic. The formal semantics of CTL* formulae are defined with respect to a given Kripke_structure." (we)

CTL*
= https://en.wikipedia.org/wiki/CTL*

[edit]

1.30. sequential logic VS. combinational logic ¶

[edit]

1.30.1. sequential logic ¶

sequential logic
sequential_logic =,sequential_logic =,sequential_logic . sequential_logic

sequential_logic
순차논리 로 보통 번역하는 듯

이건 뜻이... sequential logic circuit을 줄인거랑, 페이지를 나누어야 하나?

sequential_logic = https://en.wiktionary.org/wiki/sequential_logic

(short) 즉 메모리를 가지고 있다. input history를 기억한다.

https://ko.wikipedia.org/wiki/순차_논리

https://en.wikipedia.org/wiki/Sequential_logic

FSM(finite-state_machine)을 만들 때 사용함.
Moore_machine 무어_기계,Moore_machine

Moore_machine

Moore_machine Moore machine

Moore machine

Moore machine "Moore machine"
Mealy_machine 밀리_기계,Mealy_machine

Mealy_machine

Mealy_machine Mealy machine

Mealy machine

Mealy machine "Mealy machine"
만들때도?
암튼 기계,meachines

sequential logic

sequential logic
"sequential logic"
"sequential logic"

[edit]

1.30.2. combinational logic ¶

combinational logic
조합논리,combinational_logic
combinational_logic =,combinational_logic =,combinational_logic . combinational_logic

combinational_logic
조합논리 로 보통 번역하는 듯

combinational logic

combinational_logic

메모리 없음. 무기억성,memoryless_property?

https://en.wikipedia.org/wiki/Combinational_logic

combinational logic

cf. 조합회로,combinational_circuit

[edit]

1.30.3. CHK ¶

기반 이론이 되는 논리	실제 장치 : logic_circuit logic_circuit logic_circuit 논리회로,logic_circuit ? 논리 회로 논리 회로 논리회로 logic_circuit
sequential_logic	sequential_logic_circuit = sequential_circuit
combinational_logic	combinational_logic_circuit = combinational_circuit

[edit]

1.31. metalogic ¶

metalogic

[edit]

1.32. fixed-point logic ¶

fixed-point logic

fixpoint logic

fixed-point_logic =,fixed-point_logic =,fixed-point_logic . fixed-point_logic
{
고정점논리 ?

https://en.wikipedia.org/wiki/Fixed-point_logic

rel 고정점,fixed_point

}

[edit]

1.33. ADDHERE( _LOGIC) ¶

[edit]

1.34. ADDHERE( _LOGIC) ¶

[edit]

1.35. ADDHERE( _LOGIC) ¶

[edit]

1.36. ADDHERE( _LOGIC) ¶

[edit]

1.37. ADDHERE( _LOGIC) ¶

[edit]

1.38. ADDHERE( _LOGIC) ¶

.... ADDHERE( _LOGIC)

[edit]

2. Sub (logic_ / logical_) ¶

두 Prefix 가 있는데 의미 차이가 혹시 있는지... usage 차이는 있는데.
logic_
logical_
Prefix 차이 나누어서 일단 목록 만들까? - 나중에 많아지면

[edit]

2.1. Cmp: logic operation / logic operator / logic connective ¶

logic operation
logic operator
logic connective
or
logical_connective

logical_connective

....

logic_operation

logic_operation
논리연산
연산,operation

logic operator

logic_operator

logic operator

logic connective
logic_connective

logic connective

[edit]

2.2. logic circuit ¶

logic_circuit =,logic_circuit . logic_circuit
logic circuit

logic_circuit
논리회로 ?

[edit]

2.2.1. digital logic circuit ¶

digital_logic_circuit
digital logic circuit
디지털논리회로

[edit]

2.3. logic gate ¶

논리게이트logic_gate
논리게이트,logic_gate

[edit]

2.4. logic programming ¶

logic_programming =,logic_programming =,logic_programming . logic_programming
{
logic programming

로직,logic
프로그래밍,programming

번역?
논리프로그래밍
논리적프로그래밍
로직프로그래밍
....
중에?

Topics:
Horn_clause
프롤로그,Prolog

Sub:

inductive_logic_programming =,inductive_logic_programming . inductive_logic_programming
{

inductive_logic_programming ??
https://en.wikipedia.org/wiki/Inductive_logic_programming
https://en.wikipedia.org/wiki/Inductive_logic_programming
induction { VG 귀납,induction }
}

constraint_logic_programming =,constraint_logic_programming =,constraint_logic_programming . constraint_logic_programming
{
"is a form of constraint_programming^{{Constraint_programming = https://en.wikipedia.org/wiki/Constraint_programming}}, in which logic_programming is extended to include concepts from constraint_satisfaction^{{ https://en.wikipedia.org/wiki/Constraint_satisfaction }}."(we)
https://en.wikipedia.org/wiki/Constraint_logic_programming
constraint

constraint_logic_programming ??
}

logic_programming ?

http://www.aistudy.com/logic/logic_programming.htm

...
"logic programming"

logic programming

logic_programming
https://simple.wikipedia.org/wiki/Logic_programming
https://en.wikipedia.org/wiki/Logic_programming

Up: 프로그래밍패러다임,programming_paradigm logic (로직,logic 논리,logic? 논리학,logic?)
}

logic_
logic_
logical_
logical_
...

...... ADDHERE (LOGIC(AL)_ ) // 일단 추가하고 나중에 위 둘로 분류.(를 전혀 할 필요 없을수도 있지만)

Cmp:
앨지브라,algebra
칼큘러스,calculus

https://everything2.com/title/logic

logic is reason

Contents

1. Sub (_logic) ¶

1.1. classical Logic ¶

1.2. non-classical logic ¶

1.3. mathematical logic ¶

1.4. symbolic logic ¶

1.5. 0th order ¶

1.6. 1st order ¶

1.7. 2nd order ¶

1.8. higher order ¶

1.9. propositional logic ¶

1.9.1. second-order propositional logic ¶

1.10. predicate logic ¶

1.10.1. monadic predicate logic ¶

1.11. modal logic ¶

1.12. many-sorted logic ¶

1.13. many-valued logic ¶

1.14. 0-valued logic ¶

1.15. 1-valued logic ¶

1.16. 2-valued logic ¶

1.17. 3-valued logic ¶

1.18. 4-valued logic ¶

1.19. 9-valued logic ¶

1.20. finite-valued logic ¶

1.21. infinite-valued logic ¶

1.22. deontic logic ¶

1.23. epistemic logic ¶

1.24. doxastic logic ¶

1.25. intuitionistic logic ¶

1.26. universal logic ¶

1.27. temporal logic ¶

1.27.1. linear temporal logic ¶

1.27.2. alternating-time temporal logic ¶

1.28. dynamic logic (modal logic) ¶

1.29. computation tree logic (CTL) ¶

1.29.1. CTL* ¶

1.30. sequential logic VS. combinational logic ¶

1.30.1. sequential logic ¶

1.30.2. combinational logic ¶

1.30.3. CHK ¶

1.31. metalogic ¶

1.32. fixed-point logic ¶

1.33. ADDHERE( _LOGIC) ¶

1.34. ADDHERE( _LOGIC) ¶

1.35. ADDHERE( _LOGIC) ¶

1.36. ADDHERE( _LOGIC) ¶

1.37. ADDHERE( _LOGIC) ¶

1.38. ADDHERE( _LOGIC) ¶

2. Sub (logic_ / logical_) ¶

2.1. Cmp: logic operation / logic operator / logic connective ¶

2.2. logic circuit ¶

2.2.1. digital logic circuit ¶

2.3. logic gate ¶

2.4. logic programming ¶