Hitoshi Omori
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
2
Active years
2014–2020
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | AiML | Actuality in Intuitionistic Logic. | Satoru Niki, Hitoshi Omori |
| 2020 | AiML | A Semantics for a Failed Axiomatization of K. | Hitoshi Omori, Daniel Skurt |
| 2020 | AiML | An Extension of Connexive Logic C. | Hitoshi Omori, Heinrich Wansing |
| 2019 | WoLLIC | SIXTEEN _3 in Light of Routley Stars. | Hitoshi Omori, Daniel Skurt |
| 2016 | AiML | Classical and Empirical Negation in Subintuitionistic Logic. | Michael De, Hitoshi Omori |
| 2014 | AiML | More on Empirical Negation. | Michael De, Hitoshi Omori |