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