연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
아르데시르와 모즈타헤디의 공개 논문을 따라, 헤이팅 산술에서 원자식을 Σ₁ 문장으로 제한했을 때 증명 가능성의 규칙을 어떤 양상논리로 붙잡고 판정 절차까지 얻는지 읽습니다. 15개의 문답, 16개의 생각그림과 세 가지 실험을 담았습니다.
Mohammad Ardeshir · S. Mojtaba Mojtahedi, The Σ₁-Provability Logic of HA (2017)
회의 참가자마다 알고 있는 내용이 다릅니다. “모든 참가자가 누군가의 참석을 안다”는 말을 어떻게 적고 검사할까요? 사람을 가리키는 변수 두 개를 사용해, 이런 조건을 만족하는 상황이 가능한지 따지는 연구를 읽습니다.
Anantha Padmanabha · R. Ramanujam, Two Variable Fragment of Term Modal Logic (2019)
괴델의 존재론적 논증을 따라, 긍정적 속성의 공리에서 신적 존재의 가능성과 필연성이 어떻게 연결되는지 양상논리식과 설명으로 읽습니다.
Stanford Encyclopedia of Philosophy · Ontological Arguments
배지·안내자 단서와 입장 규칙을 바꾸어 가능한 장면, 반례 장면과 ‘가능’·‘필연’ 결론의 성립 여부를 다시 계산합니다.
Modal Logic
혼합논리는 한 세계에서만 참인 ‘이름 명제’와 특정 세계로 평가 지점을 옮기는 연산자를 더해, 시간·상태의 동일성과 국소 사실을 표현합니다.
Hybrid Logic
1–5 / 13편
