Hitoshi Omori

40 years of FDE: An Introductory Overview

Hitoshi Omori, Heinrich Wansing · Studia Logica · 2017 · 103 citations · Full text

Classical Negation and Expansions of Belnap–Dunn Logic

Michael De, Hitoshi Omori · Studia Logica · 2015 · 61 citations

Non-classical Logic, Automated Reasoning, Classical Logic +2

Generalizing Functional Completeness in Belnap-Dunn Logic

Hitoshi Omori, Katsuhiko Sano · Studia Logica · 2015 · 41 citations

Functional Completeness, Automated Reasoning, Classical Logic +2

REMARKS ON NAIVE SET THEORY BASED ON<b>LP</b>

Hitoshi Omori · The Review of Symbolic Logic · 2015 · 36 citations

Non-classical Logic, Constructive Logic, Philosophy Of Logic +6

More Modal Semantics without Possible Worlds.

Daniel Skurt, Hitoshi Omori · FLAP · 2016 · 28 citations

Formal Semantics, Modal Semantics, Semantic Analysis (Linguistics) +5