Hitoshi Omori

According to our database1, Hitoshi Omori authored at least 38 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology.
Stud Logica, April, 2024

Angell and McCall Meet Wansing.
Stud Logica, April, 2024

2022
Another Combination of Classical and Intuitionistic Conditionals.
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Superconnexivity Reconsidered.
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Liberating classical negation from falsity conditions.
Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic, 2022

Haack meets Herzberger and Priest.
Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic, 2022

2021
A note on Humberstone's constant Ω.
Reports Math. Log., 2021

A Generalization of Ordered-Pair Semantics.
Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

A two-valued semantics for infectious logics.
Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic, 2021

Untruth, falsity and non-deterministic semantics.
Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic, 2021

2020
From logics of formal inconsistency to logics of formal classicality.
Log. J. IGPL, 2020

An Extension of Connexive Logic C.
Proceedings of the 13th Conference on Advances in Modal Logic, 2020

A Semantics for a Failed Axiomatization of K.
Proceedings of the 13th Conference on Advances in Modal Logic, 2020

Actuality in Intuitionistic Logic.
Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019
SIXTEEN _3 in Light of Routley Stars.
Proceedings of the Logic, Language, Information, and Computation, 2019

2018
Axiomatizing Jaśkowski's Discussive Logic $$\mathbf {D_2}$$ D 2.
Stud Logica, 2018

On contra-Classical Variants of Nelson Logic N4 and its Classical Extension.
Rev. Symb. Log., 2018

There is More to Negation than Modality.
J. Philos. Log., 2018

2017
40 years of FDE: An Introductory Overview.
Stud Logica, 2017

Conjunction and Disjunction in Infectious Logics.
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Sette's Logics, Revisited.
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Counterfactuals in Nelson Logic.
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

An Extended First-Order Belnap-Dunn Logic with Classical Negation.
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2016
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., 2016

Editorial Preface.
FLAP, 2016

More Modal Semantics without Possible Worlds.
FLAP, 2016

A Note on Francez' Half-Connexive Formula.
FLAP, 2016

A Simple Connexive Extension of the Basic Relevant Logic BD.
FLAP, 2016

Hallden's Logic of Nonsense and Its Expansions in View of Logics of Formal Inconsistency.
Proceedings of the 27th International Workshop on Database and Expert Systems Applications, 2016

Classical and Empirical Negation in Subintuitionistic Logic.
Proceedings of the Advances in Modal Logic 11, 2016

2015
Generalizing Functional Completeness in Belnap-Dunn Logic.
Stud Logica, 2015

Classical Negation and Expansions of Belnap-Dunn Logic.
Stud Logica, 2015

Remarks on Naive Set Theory based on LP.
Rev. Symb. Log., 2015

An axiomatization of Wansing's expansion of Nelson's logic.
Reports Math. Log., 2015

2014
An expansion of first-order Belnap-Dunn logic.
Log. J. IGPL, 2014

More on Empirical Negation.
Proceedings of the Advances in Modal Logic 10, 2014

2011
Some Observations on the Systems LFI1 and LFI1.
Proceedings of the 2011 Database and Expert Systems Applications, 2011

2010
A Note on Majkic's Systems.
Notre Dame J. Formal Log., 2010


  Loading...