모달 논리 (Modal Logic) 1. 개요 모달 논리(Modal Logic)는 진술의 단순한 참과 거짓을 넘어, 그 진술이 어떤 '방식(Mode)'으로 참인지를 다루는 양상 논리 체계이다. 표준 논리인 명제 논리(Propositional Logic)나 1차 논리(First-order Logic)가 "P는 참이다"라는 사실적 진술만을 다룬다면, 모달 논리…
검색 결과
"인식 논리"에 대한 검색 결과 (총 1개)
"인식 논리"에 대한 검색 결과 (총 1개)
모달 논리 (Modal Logic) 1. 개요 모달 논리(Modal Logic)는 진술의 단순한 참과 거짓을 넘어, 그 진술이 어떤 '방식(Mode)'으로 참인지를 다루는 양상 논리 체계이다. 표준 논리인 명제 논리(Propositional Logic)나 1차 논리(First-order Logic)가 "P는 참이다"라는 사실적 진술만을 다룬다면, 모달 논리…