통합검색

가능한 세계마다 이름을 붙이면 보통 양상논리보다 무엇을 더 말할 수 있을까?

혼합논리는 한 세계에서만 참인 ‘이름 명제’와 특정 세계로 평가 지점을 옮기는 연산자를 더해, 시간·상태의 동일성과 국소 사실을 표현합니다.

Hybrid Logic

행동을 하나의 논리 연산자로 다룰 수 있을까?

세계를 바꾸는 행동과 실행 결과의 보장을 어떻게 논리식으로 나타내는가?

The Logic of Action

같은 ‘필연’이라도 가능한 세계의 연결 방식에 따라 논리가 달라질까?

양상논리의 □와 ◇는 접근 가능한 세계의 구조에 따라 다른 원리를 만족합니다. 기호의 직관과 형식 규칙을 구분해 읽습니다.

Modal Logic

미래에 일어날 일과 언젠가 일어날 일은 같은 뜻일까?

시제논리는 ‘언젠가’, ‘항상’, ‘과거에’ 같은 시간 표현을 논리 연산자로 다루며 시간 구조에 따라 추론이 달라짐을 보여 줍니다.

Temporal Logic

미래에 일어날 일과 언젠가 일어날 일은 같은 뜻일까?

시간 연산자, 시간 구조, 모델 점검을 연결해 조건과 범위를 확인하는 교육용 도식.