仁木 哲
ニキ サトル (Satoru Niki)
更新日: 11/02
基本情報
- 所属
- Ruhr-Universität Bochum Institut für Philosophie I Postdoctoral Researcher
- 学位
-
博士（情報科学）(2021年3月 北陸先端科学技術大学院大学)
- ORCID ID
https://orcid.org/0000-0002-0882-806X- J-GLOBAL ID
- 202001018422668210
- researchmap会員ID
- R000004719
論文
15-
Journal of Philosophical Logic 52(5) 1355-1383 2023年7月29日 査読有り
-
Journal of Applied Logics (to appear) 2023年 査読有り
-
Journal of Logic, Language and Information (to appear) 2023年 査読有り
-
Australasian Journal of Logic (to appear) 2023年 査読有り
-
Electronic Proceedings in Theoretical Computer Science 358 174-188 2022年4月14日 査読有り
-
Advances in Modal Logic 14 579-600 2022年 査読有り
-
The Review of Symbolic Logic 16(3) 951-977 2021年7月2日 査読有り
-
Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), and the 12th International Conference on Biomedical Ontologies (ICBO 2021)(JOWO) 2021年 査読有り
-
Reports on Mathematical Logic 56 75-99 2021年 査読有り
-
Bulletin of the Section of Logic 49(4) 359-375 2020年12月30日 査読有り
-
Mathematical Logic Quarterly 66(4) 484-493 2020年12月 査読有り
-
Bulletin of the Section of Logic 49(3) 231-253 2020年11月4日 査読有り
-
Journal of Logic and Computation 30(6) 1291-1302 2020年9月4日 査読有り
-
Advances in Modal Logic 13 459-479 2020年7月 査読有り
-
Studia Logica 108(5) 967-987 2019年11月1日 査読有り