論文
書籍
Wansing, H. & Omori, H. "An Introduction to Connexive Logic", in Small Logic Books series, CSLI publications, under contract.
論文
Arenhart, J. R. B. & Omori, H., "On Woodruff's constructive nonsense logic", Studia Logica, forthcoming. [preprint] [link]
Omori, H. & Arenhart, J. R. B., "Why FDE might be too strong for Beall", Asian Journal of Philosophy, 3:6, 2024. [pdf]
Omori, H., "Should the negated conditional entail its antecedent?", Analysis, forthcoming. [preprint] [link]
Song, Y. & Omori, H. & Arenhart, J. R. B. & Tojo, S., "A generalization of Beall’s off-topic interpretation", Studia Logica, forthcoming. [pdf]
Omori, H. & Kapsner, A., "Angell and McCall meet Wansing", Studia Logica, 112(1/2), 141--165, 2024. [pdf]
Omori, H. & Priest, G. & Weber, Z., "The (In)Consistency of Consistency", in H. Antunes, A, Freire, and A. Rodrigues (eds), Walter Carnielli on Reasoning, Pararconsistency, and Probability, forthcoming. [preprint] [link]
Omori, H. & Arenhart, J. R. B., "Change of logic, without change of meaning", Theoria, 89(4), 414--431, 2023. [pdf]
Omori, H. & Arenhart, J. R. B., "Is the de Finetti conditional a conditional?", Argumenta, forthcoming. [pdf]
Wansing, H. & Omori, H., "A Note on "A Connexive Conditional"", Logos & Episteme 13(3), 325--328, 2022. [pdf]
Omori, H. & Sedlár, I., "A note on formalizing discussive logic", Australasian Journal of Logic, forthcoming. [pdf]
Omori, H. & Wansing, H., "Varieties of negation and contra-classicality in view of Dunn semantics", in K. Bimbó (ed.), Relevance Logics and other Tools for Reasoning. Essays in Honour of J. Michael Dunn, College Publications, pp. 309--337, 2022. [pdf]
Omori, H. & Arenhart, J. R. B., "Haack meets Herzberger and Priest", in Proceedings of ISMVL 2022, pp. 137--144, IEEE Computer Society, 2022. [preprint] [link]
Szmuc, D. & Omori, H., "Liberating classical negation from falsity conditions", in Proceedings of ISMVL 2022, pp. 131--136, IEEE Computer Society, 2022. [preprint] [link]
De, M. & Omori, H., "Knot Much Like Tonk", Synthese, 200:149, 2022. [pdf]
Niki, S. & Omori, H., "Another combination of classical and intuitionistic conditionals", in Proceedings of NCL 2022, EPTCS 358, pp. 174--188, 2022. [pdf]
Kapsner, A. & Omori, H., "Superconnexivity Reconsidered", in Proceedings of NCL 2022, EPTCS 358, pp. 160--173, 2022. [pdf]
Omori, H. & De, M., "Shrieking, Shrugging and the Australian plan", Notre Dame Journal of Formal Logic, 63(2), pp. 137--141, 2022. [preprint] [link]
Omori, H. & Skurt, D., "On Ivlev's semantics for modality", in Coniglio, M. E., Kubyshkina, E. & Zaitsev, D. V. (eds), Many-valued semantics and modal logics. Essays in Honour of Yu. V. Ivlev, pp.243--275, Springer, 2024. [preprint] [link]
Omori, H. & Arenhart, J. R. B., "A generalization of ordered-pair semantics", in Proceedings of LORI 2021, pp.149--157, Springer, 2021. [preprint] [link]
Niki, S. & Omori, H., "A note on Humberstone's constant Ω", Reports on Mathematical Logic, 56, pp. 75--99, 2021. [pdf]
Song, Y. & Omori, H. & Tojo, S., "A two-valued semantics for infectious logics", in Proceedings of ISMVL 2021, pp. 50--55, IEEE Computer Society, 2021. [link]
Omori, H. & Skurt, D., "Untruth, falsity and non-deterministic semantics", in Proceedings of ISMVL 2021, pp. 74--80, IEEE Computer Society, 2021. [link]
Omori, H. & Skurt, D., "A Semantics for a Failed Axiomatization of K", in Olivietti, N., Verbrugge, R., Negri, S. & Sandu, G. (eds), Advances in Modal Logic, Vol 13, pp. 481--501, College Publications, 2020. [pdf]
Omori, H. & Wansing, H., "An Extension of Connexive Logic C", in Olivietti, N., Verbrugge, R., Negri, S. & Sandu, G. (eds), Advances in Modal Logic, Vol 13, pp. 503--522, College Publications, 2020. [pdf]
Niki, S. & Omori, H., "Actuality in Intuitionistic Logic", in Olivietti, N., Verbrugge, R., Negri, S. & Sandu, G. (eds), Advances in Modal Logic, Vol 13, pp. 459--479, College Publications, 2020. [pdf]
Omori, H. & Skurt, D., "SIXTEEN_3 in light of Routley stars", in Proceedings of WoLLIC 2019, pp. 516--532, Springer, 2019. [preprint] [link]
Omori, H., "A note on Ciuciura's mbC^1", Bulletin of the Section of Logic, 48(3), pp. 161--171, 2019. [pdf]
Omori, H. & Wansing, H., "On Contra-classical variants of Nelson logic N4 and its classical extension", Review of Symbolic Logic, 11(4), pp. 805--820, 2018. [preprint] [link]
Omori, H., "Towards a bridge over two approaches in connexive logic", Logic and Logical Philosophy, 28(3), pp. 553--566, 2019. [pdf]
Omori, H. & Weber, Z., "Just true? On the metatheory for paraconsistent truth", Logique et Analyse, 248, pp. 415--433, 2019. [preprint] [link]
Szmuc, D. & Omori, H., "A note on Goddard and Routley's significance logics", Australasian Journal of Logic, 15(2), pp. 431--448, 2018. [pdf]
Weber, Z. & Omori, H., "Observations on the trivial world", Erkenntnis, 84(5), pp. 975--994, 2019. [preprint] [link]
Omori, H., "From Logics of Formal Inconsistency to Logics of Formal Classicality", Logic Journal of the IGPL, 28(5), pp. 684--711, 2020. [preprint] [link]
Kapsner, A. & Omori, H., "Counterfactuals in Nelson Logic", in Proceedings of LORI 2017, pp. 497--511, Springer, 2017. [preprint] [link]
Omori, H., "Sette's Logics, Revisited", in Proceedings of LORI 2017, pp. 451--465, Springer, 2017. [preprint] [link]
Omori, H. & Szmuc, D., "Conjunction and Disjunction in Infectious Logics", in Proceedings of LORI 2017, pp. 268--283, Springer, 2017. [preprint] [link]
Kamide, N. & Omori, H., "An Extended First-Order Belnap-Dunn Logic with Classical Negation", in Proceedings of LORI 2017, pp. 79–93, Springer, 2017. [preprint] [link]
De, M. & Omori, H., "There is more to negation than modality", Journal of Philosophical Logic, 47(2), pp. 281--299, 2018. [preprint] [link]
Omori, H. & Alama, J., "Axiomatizing Jaskowski's discussive logic D2'', Studia Logica, 106(6), pp. 1163--1180, 2018. [preprint] [link]
Omori, H., "A note on Francez' half-connexive formula'', IfCoLog Journal of Logics and their Applications, 3(3), pp. 505--512, 2016. [pdf]
Omori, H., "Hallden’s Logic of Nonsense and its expansions in view of Logics of Formal Inconsistency'', in Proceedings of DEXA2016, pp. 129--133, IEEE Computer Society, 2016. [preprint] [link]
De, M. & Omori, H., "Classical and Empirical Negation in Subintuitionistic Logic'', in Beklemishev, L., Demri, S. & Máté, A. (eds), Advances in Modal Logic, Vol 11, pp. 217--235, College Publications, 2016. [pdf]
Omori, H., "A simple connexive extension of the basic relevant logic BD'', IfCoLog Journal of Logics and their Applications, 3(3), pp. 467--478, 2016. [pdf]
Omori, H., "From paraconsistent logic to dialetheic logic'', in Andreas, H & Verdée, P. (eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics, pp. 111--134, Springer, 2016. [preprint] [link]
Omori, H. & Skurt, D. "More modal semantics without possible worlds'', IfCoLog Journal of Logics and their Applications, 3(5), pp. 815--846, 2016. [pdf]
Omori, H., "An axiomatization of Wansing's expansion of Nelson's logic'', Reports on Mathematical Logic, 50, pp. 41--51, 2015. [pdf] [correction]
Omori, H. & Sano, K., "Generalizing Functional Completeness in Belnap-Dunn Logic'', Studia Logica, 103(5), pp. 883--917, 2015. [preprint] [link]
De, M. & Omori, H., "Classical negation and expansions of Belnap-Dunn logic'', Studia Logica, 103(4), pp. 825--851, 2015. [preprint] [link]
Omori, H. & Waragai, T., "Negative Modalities in the Light of Paraconsistency'' in Koslow, A. & Buchsbaum, A. (eds) The Road to Universal Logic: Festschrift for 50th birthday of Jean-Yves Beziau vol.2, pp. 539--555, Birkhäuser, 2015. (Invited, not refereed) [preprint] [link]
De, M. & Omori, H., "More on empirical negation'', in Gore, R., Kooi, B. & Kurucz, A. (eds) Advances in Modal Logic, Vol.10, pp. 114--133, College Publications, 2014. [pdf]
Omori, H., "Remarks on naive set theory based on LP'', Review of Symbolic Logic, 8(2), pp. 279--295, 2015. [preprint] [link]
Omori, H. & Sano, K., "da Costa meets Belnap and Nelson'', in Ciuni, R., Wansing, H. & Willkommen, C. (eds) Recent Trends in Philosophical Logic, pp. 145--166, Springer, 2014. [preprint] [link]
Sano, K. & Omori, H., "An Expansion of First-order Belnap-Dunn Logic'', Logic Journal of the IGPL, 22(3), pp. 458--481, 2014. [pdf]
Omori, H. & Waragai, T., "Propagation of Consistency in Some Systems of Paraconsistent Logic'', in Weber, E., Wouters, D. & Meheus, J. (eds.) Logic, Reasoning and Rationality, pp. 153--178, Springer, 2014. [preprint] [link]
大森仁・藁谷敏晴, 「矛盾許容型論理PCL1の拡張について」, 『科学基礎論研究』, 39(2), pp. 1--18, 2012. [pdf]
Omori, H. & Waragai, T., "Some Observations on the Systems LFI1 and LFI1∗'', in Proceedings of DEXA2011, pp. 320--324, IEEE Computer Society, 2011. [preprint] [link]
Omori, H. & Waragai, T., "A Note on Majkic's Systems'', Notre Dame Journal of Formal Logic, 51(4), pp. 503--506, 2010. [preprint] [link]
Waragai, T. & Omori, H., "Some New Results on PCL1 and its Related Systems'', Logic and Logical Philosophy, 19(1-2), pp. 129--158, 2010. [pdf]
藁谷敏晴・大森仁, 「古典的否定を考慮に入れた矛盾許容型論理について」, 『科学基礎論研究』, 36(1), pp. 9--18, 2008. [pdf]
Omori, H. & Waragai, T., "On Beziau's Logic Z'', Logic and Logical Philosophy, 17(4), pp. 305--320, 2008. [pdf]
論文集及び学術雑誌の特別号の編集
Editor, "60 Years of Connexive Logic" (with Wansing, H.), Trends in Logic, Springer, under contract. [link] [Introduction]
Editor, "Frontiers of Connexive Logic" (with Wansing, H.), special issue of Studia Logica, 2024. [link] [Introduction]
Editor, "Negation" (with Wansing, H. & Olkhovikov, G.), special issue of Logical Investigations, 2021. [link] [Introduction]
Editor, "New Essays on Belnap-Dunn Logic" (with Wansing, H.), Synthese Library, vol. 418, Springer, 2019. [link] [Introduction] [Introduction (preprint)]
Editor, "Advances in Connexive Logic" (with Wansing, H.), special issue of Logic and Logical Philosophy, 2019. [link] [Introduction]
Editor, "40 years of FDE" (with Wansing, H.), special issue of Studia Logica, 2017. [link] [Introduction]
Editor, "Connexive Logics" (with Wansing, H. & Ferguson. T.), special issue of IfCoLog Journal of Logics and their Applications, 2016. [link] [Introduction]