통합검색

요청을 받은 프로그램이 언젠가 응답한다는 것을 어떻게 증명할까요?

프린터에 작업을 보냈는데 대기 표시만 계속됩니다. 오류가 없다는 사실만으로 언젠가 출력된다고 말할 수 있을까요? 실행 기록에서 항상 지켜야 하는 조건과 끝내 일어나야 하는 사건을 구별하며 시간 논리를 읽습니다.

Amir Pnueli, The Temporal Logic of Programs (1977)

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

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

Hybrid Logic

선이 교차하지 않으면 관계도가 정말 더 쉬워질까?

선 교차, 대칭, 반응시간의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

확장된 논리학

양상·시간·다치·퍼지·직관주의·모순허용·관련성 논리를 비교합니다.