仁木 哲
ニキ サトル (Satoru Niki)
更新日: 06/29
基本情報
- 所属
- ルール大学ボーフム 第一哲学科 学術協力者
- 学位
-
博士（情報科学）(2021年3月 北陸先端科学技術大学院大学)
- 連絡先
- Satoru.Niki
rub.de - ORCID ID
https://orcid.org/0000-0002-0882-806X- J-GLOBAL ID
- 202001018422668210
- researchmap会員ID
- R000004719
研究分野
1経歴
3-
2021年11月 - 現在
-
2021年4月 - 2022年1月
-
2018年4月 - 2021年3月
学歴
4-
2018年4月 - 2021年3月
-
2016年4月 - 2018年3月
-
2014年4月 - 2016年3月
-
2008年9月 - 2013年6月
論文
16-
Australasian Journal of Logic 21(2) 64-90 2024年5月 査読有り
-
Journal of Applied Logics 11(2) 125-157 2024年3月 査読有り
-
Proceedings of the 14th International Conference (FOIS 2024) (Forthcoming) 2024年 査読有り
-
Journal of Logic, Language and Information 32(5) 861-886 2023年11月11日 査読有り
-
Journal of Philosophical Logic 52(5) 1355-1383 2023年7月29日 査読有り
-
Electronic Proceedings in Theoretical Computer Science 358 174-188 2022年4月14日 査読有り
-
Advances in Modal Logic 14 579-599 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日 査読有り
講演・口頭発表等
24-
Proof, Argumentation, Computation, Modalities And Negation (PACM∧N), Verona, Italy. 2024年3月 招待有り
-
Dagstuhl Seminar 24021: From Proofs to Computation in Geometric Logic and Generalizations, Wadern, Germany. 2024年1月
-
1st Workshop on Contradictory Logics, Bochum, Germany. 2023年12月
-
Tohoku Logic seminar, Sendai, Japan. 2023年8月
-
Arbeitstagung Verona-München. Munich, Germany. 2023年1月 招待有り
-
1st Workshop on Non-deterministic Semantics for Modal Logics, Bochum, Germany. 2022年11月 招待有り
-
The second Bochum- Łódź Logic Workshop, Bochum, Germany. 2022年11月
-
The Sixth World Congress of Paraconsistency. Toruń, Poland. 2022年9月
-
Logica Copernicana seminar, Toruń, Poland. 2022年9月
-
Advances in Modal Logic 2022, Renne, France. 2022年8月
-
Bochum Nonclassical Logic Workshop II. Bochum, Germany. 2022年4月
-
NCL'22: Non-Classical Logics. Theory and Applications 2022. Łódź, Poland. 2022年3月
-
Łódź -Bochum Workshop. Online. 2021年7月
-
55th MLG mathematical logic workshop. Online. 2021年3月
-
Fourth Workshop on Mathematical Logic and its Applications, Online. 2021年3月
-
Advances in Modal Logic 2020, online 2020年8月
-
数学基礎論若手の会2019 2019年12月
-
Logic Colloquium 2019, Prague, the Czech Republic. 2019年9月
-
Logic Seminar Verona. Verona, Italy. 2019年4月
-
A workshop on philosophical logic and philosophy of logic. Ishikawa, Japan. 2018年9月 招待有り