-
A note on formalizing discussive logic
Peer-reviewed
Hitoshi Omori, Igor Sedlar
The Australasian Journal of Logic 22 (1) 33-43 2025/01/01
Publisher:
Victoria University of Wellington Library
DOI：
10.26686/ajl.v22i2.6800
eISSN：
1448-5052
-
The Disjunction-Free Fragment of D2 is Three-Valued
Peer-reviewed
Hitoshi Omori
Electronic Proceedings in Theoretical Computer Science 415 257-270 2024/12/31
Publisher:
Open Publishing Association
DOI：
10.4204/eptcs.415.22
eISSN：
2075-2180
-
The Power of Generalized Clemens Semantics
Peer-reviewed
Hitoshi Omori, Jonas R. B. Arenhart
Electronic Proceedings in Theoretical Computer Science 415 244-256 2024/12/31
Publisher:
Open Publishing Association
DOI：
10.4204/eptcs.415.21
eISSN：
2075-2180
-
A note on Grigoriev and Zaitsev's system CNL^2_4
Peer-reviewed
Hitoshi Omori, Jonas R. B. Arenhart
Electronic Proceedings in Theoretical Computer Science 415 229-243 2024/12/31
Publisher:
Open Publishing Association
DOI：
10.4204/eptcs.415.20
eISSN：
2075-2180
-
Kamide is in America, Moisil and Leitgeb are in Australia
Peer-reviewed
Satoru Niki, Hitoshi Omori
Electronic Proceedings in Theoretical Computer Science 415 180-194 2024/12/31
Publisher:
Open Publishing Association
DOI：
10.4204/eptcs.415.17
eISSN：
2075-2180
-
On Woodruff's Constructive Nonsense Logic.
Peer-reviewed
Jonas R. Becker Arenhart, Hitoshi Omori
Studia Logica 112 (6) 1261-1280 2024/12
DOI：
10.1007/s11225-023-10092-z
-
A Generalization of Beall's Off-Topic Interpretation.
Peer-reviewed
Yang Song, Hitoshi Omori, Jonas R. Becker Arenhart, Satoshi Tojo
Studia Logica 112 (4) 893-932 2024/08
DOI：
10.1007/s11225-023-10075-0
-
Why FDE might be too strong for Beall
Peer-reviewed
Hitoshi Omori, Jonas R. B. Arenhart
Asian Journal of Philosophy 3 (1) 2024/06
DOI：
10.1007/s44204-023-00133-8
eISSN：
2731-4642
-
Angell and McCall Meet Wansing.
Peer-reviewed
Hitoshi Omori, Andreas Kapsner
Studia Logica 112 (1-2) 141-165 2024/04
DOI：
10.1007/s11225-023-10083-0
-
Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology.
Heinrich Wansing, Hitoshi Omori
Studia Logica 112 (1-2) 1-35 2024/04
DOI：
10.1007/s11225-023-10082-1
-
Is the de Finetti conditional a conditional?
Peer-reviewed
Hitoshi Omori, Jonas R. B. Arenhart
Argumenta 2024/01
DOI：
10.14275/2465-2334/20230.omo
-
Should the negated conditional entail its antecedent?
Peer-reviewed
Hitoshi Omori
Analysis (United Kingdom) 84 (3) 512-515 2024
DOI：
10.1093/analys/anad089
ISSN：
0003-2638
eISSN：
1467-8284
-
On Ivlev’s Semantics for Modality
Peer-reviewed
Hitoshi Omori, Daniel Skurt
Synthese Library 485 243-275 2024
DOI：
10.1007/978-3-031-56595-3_9
ISSN：
0166-6991
eISSN：
2542-8292
-
Change of logic, without change of meaning
Peer-reviewed
Hitoshi Omori, Jonas R.B. Arenhart
Theoria (Sweden) 89 (4) 414-431 2023/08
DOI：
10.1111/theo.12459
ISSN：
0040-5825
eISSN：
1755-2567
-
Varieties of negation and contra-classicality in view of Dunn semantics
Peer-reviewed
Hitoshi Omori, Heinrich Wansing
Relevance Logics and other Tools for Reasoning. Essays in Honour of J. Michael Dunn 309-337 2022/05
-
Shrieking, Shrugging, and the Australian Plan
Peer-reviewed
Hitoshi Omori, Michael De
Notre Dame Journal of Formal Logic 63 (2) 137-141 2022/05
DOI：
10.1215/00294527-2022-0009
ISSN：
0029-4527
eISSN：
1939-0726
-
Knot much like tonk
Peer-reviewed
Michael De, Hitoshi Omori
Synthese 200 (2) 2022/04
DOI：
10.1007/s11229-022-03655-5
ISSN：
0039-7857
eISSN：
1573-0964
-
A Note on "A Connexive Conditional"
Peer-reviewed
Heinrich Wansing, Hitoshi Omori
Logos and Episteme 13 (3) 325-328 2022
DOI：
10.5840/logos-episteme202213326
ISSN：
2069-0533
eISSN：
2069-3052
-
Another Combination of Classical and Intuitionistic Conditionals.
Peer-reviewed
Satoru Niki, Hitoshi Omori
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications(NCL) 174-188 2022
DOI：
10.4204/EPTCS.358.13
10.48550/arXiv.2204.06730
-
Superconnexivity Reconsidered.
Peer-reviewed
Andreas Kapsner, Hitoshi Omori
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications(NCL) 160-173 2022
DOI：
10.4204/EPTCS.358.12
10.48550/arXiv.2204.06729
-
Haack meets Herzberger and Priest.
Peer-reviewed
Hitoshi Omori, Jonas Rafael Becker Arenhart
52nd IEEE International Symposium on Multiple-Valued Logic(ISMVL) 137-144 2022
Publisher:
IEEE
DOI：
10.1109/ISMVL52857.2022.00028
-
Liberating classical negation from falsity conditions.
Peer-reviewed
Damián Enrique Szmuc, Hitoshi Omori
52nd IEEE International Symposium on Multiple-Valued Logic(ISMVL) 131-136 2022
Publisher:
IEEE
DOI：
10.1109/ISMVL52857.2022.00027
-
Questions to Michael Dunn
Heinrich Wansing, Grigory Olkhovikov, Hitoshi Omori
Logical Investigations 27 (1) 9-19 2021
DOI：
10.21146/2074-1472-2021-27-1-9-19
ISSN：
2074-1472
eISSN：
2413-2713
-
A Generalization of Ordered-Pair Semantics.
Peer-reviewed
Hitoshi Omori, Jonas R. Becker Arenhart
Logic, Rationality, and Interaction - 8th International Workshop(LORI) 149-157 2021
Publisher:
Springer
DOI：
10.1007/978-3-030-88708-7_12
-
Untruth, falsity and non-deterministic semantics.
Peer-reviewed
Hitoshi Omori, Daniel Skurt
51st IEEE International Symposium on Multiple-Valued Logic(ISMVL) 74-80 2021
Publisher:
IEEE
DOI：
10.1109/ISMVL51352.2021.00022
-
A two-valued semantics for infectious logics.
Peer-reviewed
Yang Song, Hitoshi Omori, Satoshi Tojo
51st IEEE International Symposium on Multiple-Valued Logic(ISMVL) 50-55 2021
Publisher:
IEEE
DOI：
10.1109/ISMVL51352.2021.00018
-
A note on Humberstone's constant Ω.
Peer-reviewed
Satoru Niki, Hitoshi Omori
Reports on Mathematical Logic 56 75-99 2021
DOI：
10.4467/20842589RM.21.004.14376
-
An Extension of Connexive Logic C.
Peer-reviewed
Hitoshi Omori, Heinrich Wansing
13th Conference on Advances in Modal Logic(AiML) 503-522 2020
Publisher:
College Publications
-
A Semantics for a Failed Axiomatization of K.
Peer-reviewed
Hitoshi Omori, Daniel Skurt
13th Conference on Advances in Modal Logic(AiML) 481-501 2020
Publisher:
College Publications
-
Actuality in Intuitionistic Logic.
Peer-reviewed
Satoru Niki, Hitoshi Omori
13th Conference on Advances in Modal Logic(AiML) 459-479 2020
Publisher:
College Publications
-
From logics of formal inconsistency to logics of formal classicality.
Peer-reviewed
Hitoshi Omori
Logic Journal of the IGPL 28 (5) 684-711 2020
DOI：
10.1093/jigpal/jzy056
-
Observations on the Trivial World
Peer-reviewed
Zach Weber, Hitoshi Omori
Erkenntnis 84 (5) 975-994 2019/10/01
DOI：
10.1007/s10670-018-9990-y
ISSN：
0165-0106
eISSN：
1572-8420
-
Just true? On the Metatheory for Paraconsistent Truth
Peer-reviewed
Hitoshi Omori, Zach Weber
Logique et Analyse 248 415-433 2019
DOI：
10.2143/LEA.248.0.3287323
-
Connexive logics: an overview and current trends
Hitoshi Omori, Heinrich Wansing
Logic and Logical Philosophy 28 (3) 371-387 2019
DOI：
10.12775/LLP.2019.026
ISSN：
1425-3305
eISSN：
2300-9802
-
Towards a bridge over two approaches in connexive logic
Peer-reviewed
Hitoshi Omori
Logic and Logical Philosophy 28 (3) 553-566 2019
DOI：
10.12775/LLP.2019.005
ISSN：
1425-3305
eISSN：
2300-9802
-
A note on Ciuciura's mbC1
Peer-reviewed
Hitoshi Omori
Bulletin of the Section of Logic 48 (3) 161-171 2019
DOI：
10.18778/0138-0680.48.3.01
ISSN：
0138-0680
-
An Invitation to New Essays on Belnap-Dunn Logic
Peer-reviewed
Hitoshi Omori, Heinrich Wansing
Synthese Library 418 1-9 2019
DOI：
10.1007/978-3-030-31136-0_1
ISSN：
0166-6991
eISSN：
2542-8292
-
SIXTEEN _3 in Light of Routley Stars.
Peer-reviewed
Hitoshi Omori, Daniel Skurt
Logic, Language, Information, and Computation - 26th International Workshop(WoLLIC) 516-532 2019
Publisher:
Springer
DOI：
10.1007/978-3-662-59533-6_31
-
A Note on Goddard and Routley's Significance Logic
Peer-reviewed
Damian Szmuc, Hitoshi Omori
The Australasian Journal of Logic 15 (2) 431-448 2018/07/05
Publisher:
Victoria University of Wellington Library
DOI：
10.26686/ajl.v15i2.4867
eISSN：
1448-5052
-
Axiomatizing Jaśkowski's Discussive Logic D2
Peer-reviewed
Hitoshi Omori, Jesse Alama
Studia Logica 106 (6) 1163-1180 2018
DOI：
10.1007/s11225-017-9780-6
-
On contra-Classical Variants of Nelson Logic N4 and its Classical Extension.
Peer-reviewed
Hitoshi Omori, Heinrich Wansing
The Review of Symbolic Logic 11 (4) 805-820 2018
DOI：
10.1017/S1755020318000308
-
There is More to Negation than Modality.
Peer-reviewed
Michael De, Hitoshi Omori
Journal of Philosophical Logic 47 (2) 281-299 2018
DOI：
10.1007/s10992-017-9427-0
-
Counterfactuals in Nelson Logic.
Peer-reviewed
Andreas Kapsner, Hitoshi Omori
Logic, Rationality, and Interaction - 6th International Workshop(LORI) 497-511 2017
Publisher:
Springer
DOI：
10.1007/978-3-662-55665-8_34
-
Sette's Logics, Revisited.
Peer-reviewed
Hitoshi Omori
Logic, Rationality, and Interaction - 6th International Workshop(LORI) 451-465 2017
Publisher:
Springer
DOI：
10.1007/978-3-662-55665-8_31
-
Conjunction and Disjunction in Infectious Logics.
Peer-reviewed
Hitoshi Omori, Damián Enrique Szmuc
Logic, Rationality, and Interaction - 6th International Workshop(LORI) 268-283 2017
Publisher:
Springer
DOI：
10.1007/978-3-662-55665-8_19
-
An Extended First-Order Belnap-Dunn Logic with Classical Negation.
Peer-reviewed
Norihiro Kamide, Hitoshi Omori
Logic, Rationality, and Interaction - 6th International Workshop(LORI) 79-93 2017
Publisher:
Springer
DOI：
10.1007/978-3-662-55665-8_6
-
40 years of FDE: An Introductory Overview.
Hitoshi Omori, Heinrich Wansing
Studia Logica 105 (6) 1021-1049 2017
DOI：
10.1007/s11225-017-9748-6
-
From Paraconsistent Logic to Dialetheic Logic
Peer-reviewed
Hitoshi Omori
Trends in Logic 45 111-134 2016
DOI：
10.1007/978-3-319-40220-8_8
ISSN：
1572-6126
eISSN：
2212-7313
-
Hallden's Logic of Nonsense and Its Expansions in View of Logics of Formal Inconsistency.
Peer-reviewed
Hitoshi Omori
27th International Workshop on Database and Expert Systems Applications 129-133 2016
Publisher:
IEEE Computer Society
DOI：
10.1109/DEXA.2016.039
-
Classical and Empirical Negation in Subintuitionistic Logic.
Peer-reviewed
Michael De, Hitoshi Omori
Advances in Modal Logic 11 217-235 2016
Publisher:
College Publications
-
A Note on Wansing's expansion of Nelson's logic - a correction to "An axiomatization of Wansing's expansion of Nelson's logic".
Peer-reviewed
Hitoshi Omori
Reports on Mathematical Logic 51 133-144 2016
DOI：
10.4467/20842589RM.16.009.5286
-
More Modal Semantics without Possible Worlds.
Peer-reviewed
Hitoshi Omori, Daniel Skurt
IfCoLog Journal of Logics and their Applications(FLAP) 3 (5) 815-846 2016
-
A Note on Francez' Half-Connexive Formula.
Peer-reviewed
Hitoshi Omori
IfCoLog Journal of Logics and their Applications(FLAP) 3 (3) 505-512 2016
-
A Simple Connexive Extension of the Basic Relevant Logic BD.
Peer-reviewed
Hitoshi Omori
IfCoLog Journal of Logics and their Applications(FLAP) 3 (3) 467-478 2016
-
The Tenacity of Connexive Logic
Heinrich Wansing, Hitoshi Omori, Thomas Macaulay Ferguson
IfCoLog Journal of Logics and their Applications(FLAP) 3 (3) 279-296 2016
-
Generalizing Functional Completeness in Belnap-Dunn Logic.
Peer-reviewed
Hitoshi Omori, Katsuhiko Sano
Studia Logica 103 (5) 883-917 2015/10
DOI：
10.1007/s11225-014-9597-5
ISSN：
0039-3215
-
Negative Modalities in the Light of Paraconsistency
Invited
Hitoshi Omori, Toshiharu Waragai
Studies in Universal Logic 539-555 2015
DOI：
10.1007/978-3-319-15368-1_23
ISSN：
2297-0282
eISSN：
2297-0290
-
Classical Negation and Expansions of Belnap-Dunn Logic.
Peer-reviewed
Michael De, Hitoshi Omori
Studia Logica 103 (4) 825-851 2015
DOI：
10.1007/s11225-014-9595-7
-
Remarks on Naive Set Theory based on LP.
Peer-reviewed
Hitoshi Omori
The Review of Symbolic Logic 8 (2) 279-295 2015
DOI：
10.1017/S1755020314000525
-
An axiomatization of Wansing's expansion of Nelson's logic.
Peer-reviewed
Hitoshi Omori
Reports on Mathematical Logic 50 41-51 2015
DOI：
10.4467/20842589RM.15.003.3912
-
An expansion of first-order Belnap-Dunn logic.
Peer-reviewed
Katsuhiko Sano, Hitoshi Omori
Logic Journal of the IGPL 22 (3) 458-481 2014/06
DOI：
10.1093/jigpal/jzt044
ISSN：
1367-0751
eISSN：
1368-9894
-
On the Propagation of Consistency in Some Systems of Paraconsistent Logic
Peer-reviewed
Hitoshi Omori, Toshiharu Waragai
Logic, Argumentation and Reasoning 5 153-178 2014
DOI：
10.1007/978-94-017-9011-6_8
ISSN：
2214-9120
eISSN：
2214-9139
-
More on Empirical Negation.
Peer-reviewed
Michael De, Hitoshi Omori
Advances in Modal Logic 10 114-133 2014
Publisher:
College Publications
-
da Costa Meets Belnap and Nelson
Peer-reviewed
Hitoshi Omori, Katsuhiko Sano
Recent Trends in Philosophical Logic 41 145-166 2014
DOI：
10.1007/978-3-319-06080-4_11
ISSN：
1572-6126
-
On Extensions of a System of Paraconsistent Logic PCL1
Peer-reviewed
Hitoshi OMORI, Toshiharu WARAGAI
Journal of the Japan Association for Philosophy of Science 39 (2) 51-68 2012
Publisher:
The Japan Association for Philosophy of Science
DOI：
10.4288/kisoron.39.2_51
ISSN：
0022-7668
eISSN：
1884-1236
-
Some Observations on the Systems LFI1 and LFI1.
Peer-reviewed
Hitoshi Omori, Toshiharu Waragai
2011 Database and Expert Systems Applications 320-324 2011
Publisher:
IEEE Computer Society
DOI：
10.1109/DEXA.2011.77
-
Some new results on PCL1 and its related systems
Peer-reviewed
Toshiharu Waragai, Hitoshi Omori
Logic and Logical Philosophy 19 (1-2) 129-158 2010/06/30
Publisher:
Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University
DOI：
10.12775/llp.2010.006
ISSN：
1425-3305
-
A Note on Majkic's Systems.
Peer-reviewed
Hitoshi Omori, Toshiharu Waragai
Notre Dame Journal of Formal Logic 51 (4) 503-506 2010
DOI：
10.1215/00294527-2010-032
-
On Béziau’s logic Z
Peer-reviewed
Hitoshi Omori, Toshiharu Waragai
Logic and Logical Philosophy 17 (4) 305-320 2009/03/15
Publisher:
Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University
DOI：
10.12775/llp.2008.017
ISSN：
1425-3305
-
A System of Paraconsistent Logic Equipped with Classical Negation
Peer-reviewed
Toshiharu WARAGAI, Hitoshi OMORI
Journal of the Japan Association for Philosophy of Science 36 (1) 9-18 2009
Publisher:
The Japan Association for Philosophy of Science
DOI：
10.4288/kisoron.36.1_9
ISSN：
0022-7668
eISSN：
1884-1236
