메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

논문 기본 정보

자료유형
학술저널
저자정보
저널정보
한국정보과학회 프로그래밍언어연구회 프로그래밍언어논문지 프로그래밍언어논문지 제18권 제1호
발행연도
2004.2
수록면
1 - 13 (13page)

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
고전 논리로 표현하기 어려운 컴퓨터 과학의 여러 가지 문제를 다루는 데에는 독특한 형태의 비고전 논리들이 이용된다. 여기서는 컴퓨터 과학 특히 프로그램 분석과 검증 분야에 이론적인 기반을 형성하고 있는 노리 중에서 다양한 응용이 기대되는 양상 논리의 기본적인 개념을 정리하고 고전 논리와의 독특한 차이 등을 설명한다.

목차

요약
1. 서론
2. 양상
3. 간단한 양상 언어와 의미구조
4. 일반 양상 언어와 의미구조
5. 공리계와 그 확장
6. 결론
감사의 글
참고문헌

참고문헌 (0)

참고문헌 신청

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

이 논문과 함께 이용한 논문

최근 본 자료

전체보기

댓글(0)

0