지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
1. Introduction.
2. The language of first order modal logic.
3. The valuation function in the modal logic.
4. The concept of modal logical truth
5. Examples of modal-logically true proposition
6. The set of modal-logically true formulas.
7. The form of modal-logical tautology.
8. The possibility of non-normal modal logic.
9. Axiomatization of non-normal regular modal logic‘ K.
10. The structure of K and the topological semantics.
11. Intensional model of K: ultra-filter and prime-ideal.
12. Final remark.
REFERENCES
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
The Logic of the Korean Language
Korea Journal
1971 .02
근대 渡滿 일본인의 中國人像 : 제국의식의 투영
중국근현대사연구
2017 .06
韩中化妆品用语对比
동아인문학
2016 .03
전형기 구(舊)카프 문인의 현실대응의 두 양상 : 한설야와 김남천 소설을 중심으로
어문학
2011 .06
사고실험의 논리
철학
1999 .02
The Structure of Non-Regular Relatives and the Correlation Between Tensed Clause and CP
언어
2005 .03
양상 논리에 대한 구성주의적 해석
철학연구
2010 .12
A Semantic Interface for Logic Grammars
어학연구
1991 .03
문법으로서의 논리 ― 비트겐슈타인의 논리관 ―
논리연구
2008 .01
퍼지논리와 불교의 인명론리
한신논문집
1994 .11
Algebraic Methods in Philosophical Logic
논리연구
2004 .01
개념이란 무엇인가? : 헤겔 『논리학』에 있어서 〈객관적 논리학〉과 〈주관적 논리학〉의 관계에 대하여
철학
1999 .05
서양과 동양의 차이 : 동일성의 논리와 동일성과 차이의 논리를 중심으로
신학과세계
2016 .03
Set-theoretic Kripke-style Semantics for Involutive Monoidal T-norm (Based) Logics
철학사상
2017 .08
초월논리학은 일반논리학에 우선하는가?
철학사상
2011 .11
Logic-based Temporal Inferences in Natural Language
어학연구
1991 .06
The Logic of Computer Generated Film: Technology, Culture Industry and Globalization
새한영어영문학회 학술발표회 논문집
2005 .05
“I Want, Therefore It Must Be” : Treating Fascistic Inferences in Logic-Based Therapy
Journal of Humanities Therapy
2015 .06
日本の非正規雇用の増加と多様化 : その実態と背景
일어일문학
2015 .02
개념과 징표 : 일반논리학과 초월논리학의 관계 연구 (Ⅰ)
철학사상
2006 .06
0