Hitoshi Omori

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 35

Top Topics

Valued Semantics

Intuitionistic Logic

Sound And Complete With Respect

Top Venues

Publications

Heinrich Wansing, Hitoshi Omori
Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology. Stud Logica 112 (1-2) (2024)
Yang Song, Hitoshi Omori, Jonas R. Becker Arenhart, Satoshi Tojo
A Generalization of Beall's Off-Topic Interpretation. Stud Logica 112 (4) (2024)
Hitoshi Omori, Andreas Kapsner
Angell and McCall Meet Wansing. Stud Logica 112 (1-2) (2024)
Satoru Niki, Hitoshi Omori
Another Combination of Classical and Intuitionistic Conditionals. NCL (2022)
Hitoshi Omori, Jonas Rafael Becker Arenhart
Haack meets Herzberger and Priest. ISMVL (2022)
Andreas Kapsner, Hitoshi Omori
Superconnexivity Reconsidered. NCL (2022)
Damián Enrique Szmuc, Hitoshi Omori
Liberating classical negation from falsity conditions. ISMVL (2022)
Hitoshi Omori, Daniel Skurt
Untruth, falsity and non-deterministic semantics. ISMVL (2021)
Satoru Niki, Hitoshi Omori
A note on Humberstone's constant Ω. Reports Math. Log. 56 (2021)
Yang Song, Hitoshi Omori, Satoshi Tojo
A two-valued semantics for infectious logics. ISMVL (2021)
Hitoshi Omori, Jonas R. Becker Arenhart
A Generalization of Ordered-Pair Semantics. LORI (2021)
Hitoshi Omori, Daniel Skurt
A Semantics for a Failed Axiomatization of K. AiML (2020)
Hitoshi Omori, Heinrich Wansing
An Extension of Connexive Logic C. AiML (2020)
Hitoshi Omori
From logics of formal inconsistency to logics of formal classicality. Log. J. IGPL 28 (5) (2020)
Satoru Niki, Hitoshi Omori
Actuality in Intuitionistic Logic. AiML (2020)
Hitoshi Omori, Daniel Skurt
SIXTEEN _3 in Light of Routley Stars. WoLLIC (2019)
Hitoshi Omori, Jesse Alama
Axiomatizing Jaśkowski's Discussive Logic $$\mathbf {D_2}$$ D 2. Stud Logica 106 (6) (2018)
Michael De, Hitoshi Omori
There is More to Negation than Modality. J. Philos. Log. 47 (2) (2018)
Hitoshi Omori, Heinrich Wansing
On contra-Classical Variants of Nelson Logic N4 and its Classical Extension. Rev. Symb. Log. 11 (4) (2018)
Andreas Kapsner, Hitoshi Omori
Counterfactuals in Nelson Logic. LORI (2017)
Hitoshi Omori, Damián Enrique Szmuc
Conjunction and Disjunction in Infectious Logics. LORI (2017)
Hitoshi Omori, Heinrich Wansing
40 years of FDE: An Introductory Overview. Stud Logica 105 (6) (2017)
Norihiro Kamide, Hitoshi Omori
An Extended First-Order Belnap-Dunn Logic with Classical Negation. LORI (2017)
Hitoshi Omori
Sette's Logics, Revisited. LORI (2017)
Hitoshi Omori
A Note on Francez' Half-Connexive Formula. FLAP 3 (3) (2016)
Hitoshi Omori
Hallden's Logic of Nonsense and Its Expansions in View of Logics of Formal Inconsistency. DEXA Workshops (2016)
Daniel Skurt, Hitoshi Omori
More Modal Semantics without Possible Worlds. FLAP 3 (5) (2016)
Michael De, Hitoshi Omori
Classical and Empirical Negation in Subintuitionistic Logic. Advances in Modal Logic (2016)
Hitoshi Omori
A Simple Connexive Extension of the Basic Relevant Logic BD. FLAP 3 (3) (2016)
Hitoshi Omori
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. 51 (2016)
Heinrich Wansing, Hitoshi Omori, Thomas Macaulay Ferguson
Editorial Preface. FLAP 3 (3) (2016)
Michael De, Hitoshi Omori
Classical Negation and Expansions of Belnap-Dunn Logic. Stud Logica 103 (4) (2015)
Hitoshi Omori
Remarks on Naive Set Theory based on LP. Rev. Symb. Log. 8 (2) (2015)
Hitoshi Omori
An axiomatization of Wansing's expansion of Nelson's logic. Reports Math. Log. 50 (2015)
Hitoshi Omori, Katsuhiko Sano
Generalizing Functional Completeness in Belnap-Dunn Logic. Stud Logica 103 (5) (2015)
Katsuhiko Sano, Hitoshi Omori
An expansion of first-order Belnap-Dunn logic. Log. J. IGPL 22 (3) (2014)
Michael De, Hitoshi Omori
More on Empirical Negation. Advances in Modal Logic (2014)
Hitoshi Omori, Toshiharu Waragai
Some Observations on the Systems LFI1 and LFI1. DEXA Workshops (2011)
Hitoshi Omori, Toshiharu Waragai
A Note on Majkic's Systems. Notre Dame J. Formal Log. 51 (4) (2010)