한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기

읽기 난이도자료 유형조건 초기화

검색 결과3건

표시정렬

논문 대담Mohammad Ardeshir · S. Mojtaba Mojtahedi, The Σ₁-Provability Logic of HA (2017)arXiv:1409.5699v2, 45 pages

논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

아르데시르와 모즈타헤디의 공개 논문을 따라, 헤이팅 산술에서 원자식을 Σ₁ 문장으로 제한했을 때 증명 가능성의 규칙을 어떤 양상논리로 붙잡고 판정 절차까지 얻는지 읽습니다. 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)MFCS 2019, LIPIcs 138, 30:1–30:14

논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

회의 참가자마다 알고 있는 내용이 다릅니다. “모든 참가자가 누군가의 참석을 안다”는 말을 어떻게 적고 검사할까요? 사람을 가리키는 변수 두 개를 사용해, 이런 조건을 만족하는 상황이 가능한지 따지는 연구를 읽습니다.

Anantha Padmanabha · R. Ramanujam, Two Variable Fragment of Term Modal Logic (2019)

증명 이야기Stanford Encyclopedia of Philosophy · Ontological ArgumentsStanford Encyclopedia of Philosophy

논리의 기초와 역사해외 학술 연구 · 증명 이야기 · 심화

괴델의 존재론적 논증을 따라, 긍정적 속성의 공리에서 신적 존재의 가능성과 필연성이 어떻게 연결되는지 양상논리식과 설명으로 읽습니다.

Stanford Encyclopedia of Philosophy · Ontological Arguments

1–3 / 3편