Hitoshi Omori

47 papers B 5C 1Journal 24Unranked 17
YearRankTypeTitle / Venue / Authors
2026 J jnl
A note on the expressive completeness of LP in a metatheory without negation.
Log. J. IGPL
Hitoshi Omori, Zach Weber
2025 J jnl
A note on formalizing discussive logic.
Australas. J. Log.
Hitoshi Omori, Igor Sedlár
2024 J jnl
A Generalization of Beall's Off-Topic Interpretation.
Stud Logica
Yang Song, Hitoshi Omori, Jonas R. Becker Arenhart, Satoshi Tojo
2024 — conf
A note on Grigoriev and Zaitsev's system CNL
NCL
Hitoshi Omori, Jonas R. Becker Arenhart
2024 J jnl
Angell and McCall Meet Wansing.
Stud Logica
Hitoshi Omori, Andreas Kapsner
2024 J jnl
Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology.
Stud Logica
Heinrich Wansing, Hitoshi Omori
2024 — conf
Kamide is in America, Moisil and Leitgeb are in Australia.
NCL
Satoru Niki, Hitoshi Omori
2024 J jnl
On Woodruff's Constructive Nonsense Logic.
Stud Logica
Jonas R. Becker Arenhart, Hitoshi Omori
2024 — conf
The Disjunction-Free Fragment of D2 is Three-Valued.
NCL
Hitoshi Omori
2024 — conf
The Power of Generalized Clemens Semantics.
NCL
Hitoshi Omori, Jonas R. Becker Arenhart
2022 — conf
Another Combination of Classical and Intuitionistic Conditionals.
NCL
Satoru Niki, Hitoshi Omori
2022 — conf
Haack meets Herzberger and Priest.
ISMVL
Hitoshi Omori, Jonas Rafael Becker Arenhart
2022 — conf
Liberating classical negation from falsity conditions.
ISMVL
Damián Szmuc, Hitoshi Omori
2022 — conf
Superconnexivity Reconsidered.
NCL
Andreas Kapsner, Hitoshi Omori
2021 — conf
A Generalization of Ordered-Pair Semantics.
LORI
Hitoshi Omori, Jonas R. Becker Arenhart
2021 J jnl
A note on Humberstone's constant Ω.
Reports Math. Log.
Satoru Niki, Hitoshi Omori
2021 — conf
A two-valued semantics for infectious logics.
ISMVL
Yang Song, Hitoshi Omori, Satoshi Tojo
2021 — conf
Untruth, falsity and non-deterministic semantics.
ISMVL
Hitoshi Omori, Daniel Skurt
2020 B conf
A Semantics for a Failed Axiomatization of K.
AiML
Hitoshi Omori, Daniel Skurt
2020 B conf
Actuality in Intuitionistic Logic.
AiML
Satoru Niki, Hitoshi Omori
2020 B conf
An Extension of Connexive Logic C.
AiML
Hitoshi Omori, Heinrich Wansing
2020 J jnl
From logics of formal inconsistency to logics of formal classicality.
Log. J. IGPL
Hitoshi Omori
2019 C conf
SIXTEEN _3 in Light of Routley Stars.
WoLLIC
Hitoshi Omori, Daniel Skurt
2018 J jnl
A Note on Goddard and Routley's Significance Logic.
Australas. J. Log.
Damián Szmuc, Hitoshi Omori
2018 J jnl
Axiomatizing Jaśkowski's Discussive Logic $$\mathbf {D_2}$$ D 2.
Stud Logica
Hitoshi Omori, Jesse Alama
2018 J jnl
On contra-Classical Variants of Nelson Logic N4 and its Classical Extension.
Rev. Symb. Log.
Hitoshi Omori, Heinrich Wansing
2018 J jnl
There is More to Negation than Modality.
J. Philos. Log.
Michael De, Hitoshi Omori
2017 J jnl
40 years of FDE: An Introductory Overview.
Stud Logica
Hitoshi Omori, Heinrich Wansing
2017 — conf
An Extended First-Order Belnap-Dunn Logic with Classical Negation.
LORI
Norihiro Kamide, Hitoshi Omori
2017 — conf
Conjunction and Disjunction in Infectious Logics.
LORI
Hitoshi Omori, Damián Szmuc
2017 — conf
Counterfactuals in Nelson Logic.
LORI
Andreas Kapsner, Hitoshi Omori
2017 — conf
Sette's Logics, Revisited.
LORI
Hitoshi Omori
2016 J jnl
A Note on Francez' Half-Connexive Formula.
FLAP
Hitoshi Omori
2016 J jnl
A Note on Wansing's expansion of Nelson's logic - a correction to "An axiomatization of Wansing's expansion of Nelson's logic".
Reports Math. Log.
Hitoshi Omori
2016 J jnl
A Simple Connexive Extension of the Basic Relevant Logic BD.
FLAP
Hitoshi Omori
2016 B conf
Classical and Empirical Negation in Subintuitionistic Logic.
Advances in Modal Logic
Michael De, Hitoshi Omori
2016 J jnl
Editorial Preface.
FLAP
Heinrich Wansing, Hitoshi Omori, Thomas Macaulay Ferguson
2016 — conf
Hallden's Logic of Nonsense and Its Expansions in View of Logics of Formal Inconsistency.
DEXA Workshops
Hitoshi Omori
2016 J jnl
More Modal Semantics without Possible Worlds.
FLAP
Daniel Skurt, Hitoshi Omori
2015 J jnl
An axiomatization of Wansing's expansion of Nelson's logic.
Reports Math. Log.
Hitoshi Omori
2015 J jnl
Classical Negation and Expansions of Belnap-Dunn Logic.
Stud Logica
Michael De, Hitoshi Omori
2015 J jnl
Generalizing Functional Completeness in Belnap-Dunn Logic.
Stud Logica
Hitoshi Omori, Katsuhiko Sano
2015 J jnl
Remarks on Naive Set Theory based on LP.
Rev. Symb. Log.
Hitoshi Omori
2014 J jnl
An expansion of first-order Belnap-Dunn logic.
Log. J. IGPL
Katsuhiko Sano, Hitoshi Omori
2014 B conf
More on Empirical Negation.
Advances in Modal Logic
Michael De, Hitoshi Omori
2011 — conf
Some Observations on the Systems LFI1 and LFI1.
DEXA Workshops
Hitoshi Omori, Toshiharu Waragai
2010 J jnl
A Note on Majkic's Systems.
Notre Dame J. Formal Log.
Hitoshi Omori, Toshiharu Waragai