A Completeness Theorem in Modal Logic
- 期刊名称The Journal of Symbolic Logic
- 作者Saul A. Kripke
- 卷第24卷
- 期第1期
- 印刷ISSN0022-4812
- 文件大小1590.91KB
- 发表时间1959-03
- DOI10.2307/2964568
- 页码1-14
BOOK REVIEW JCP BOOK REVIEW NETWORK1995
Book Review: Book ReviewHites, Ronald A. · Environmental Science & Technology · 2003
Book Review: Book ReviewKlupinski, Theodore P. · Environmental Science & Technology · 2003
Book Review: Book ReviewJournal of Contemporary History · 2009
Book Review: Book ReviewJournal of Education · 1906
Book Review: Book ReviewJournal of Education · 1906
Book Review: Book ReviewJournal of Education · 1906
Book Review: Book ReviewGrant, Naomi I. Rae · The Canadian Journal of Psychiatry · 1982
Functorial Model ManagementBreiner, Spencer; Pollard, Blake; Subrahmanian, Eswaran · Proceedings of the Design Society: International Conference on Engineering Design · 2019
Axioms of ValueReber, Michael; Duffy, Alex; Hay, Laura · Proceedings of the Design Society: International Conference on Engineering Design · 2019
Systematic Literature Reviews: An IntroductionLame, Guillaume · Proceedings of the Design Society: International Conference on Engineering Design · 2019
Munich Agile MBSE Concept (MAGIC)Salehi, Vahid; Wang, Shirui · Proceedings of the Design Society: International Conference on Engineering Design · 2019
Simple Integration of Sensory FunctionsVogel, Sven; Kirchner, Eckhardt · Proceedings of the Design Society: International Conference on Engineering Design · 2019
Understanding Inclusive Design EducationWilson, Nicky; Thomson, Avril; Thomson, Angus; Holliman, Alexander Freddie · Proceedings of the Design Society: International Conference on Engineering Design · 2019
Educate for Technological InnovationSmulders, Frido; Broekhans, Bertien; Kamp, Aldert; Hellendoorn, Hans; Welleman, Hans · Proceedings of the Design Society: International Conference on Engineering Design · 2019
The Personification of Big DataStevenson, Phillip Douglas; Mattson, Christopher Andrew · Proceedings of the Design Society: International Conference on Engineering Design · 2019