Hiroakira Ono
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1980–2022
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | AiML | Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic. | Hiroakira Ono, Katsuhiko Sano |
| 2016 | LFCS | A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic. | Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano |
| 2002 | AiML | Completions of Algebras and Completeness of Modal and Substructural Logics. | Hiroakira Ono |
| 1998 | AiML | Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics. | Yoshihito Tanaka, Hiroakira Ono |
| 1980 | MFCS | Decidability Results on a Query Language for Data Bases with Incomplete Informations. | Hiroakira Ono, Akira Nakamura |