The Super-Amalgamation Property of the Variety of Ortholattices. - Yutaka Miyazaki (Reports Math. Log., 1999)

Kripke-style Semantics of Orthomodular Logics. - Yutaka Miyazaki (Math. Log. Q., 2001)

Binary Logics, Orthologics, and their Relations to Normal Modal Logics. - Yutaka Miyazaki (Advances in Modal Logic, 2002)

Normal Modal Logics Containing KTB with some Finiteness Conditions. - Yutaka Miyazaki (Advances in Modal Logic, 2004)

Some Properties of Orthologics. - Yutaka Miyazaki (Stud Logica, 2005)

Kripke Incomplete Logics Containing KTB. - Yutaka Miyazaki (Stud Logica, 2007)

A Splitting Logic in NExt(KTB). - Yutaka Miyazaki (Stud Logica, 2007)

All Splitting Logics in the Lattice NExt(KTB). - Tomasz Kowalski; Yutaka Miyazaki (Towards Mathematical Philosophy, 2009)

Concept Drift in documents and Formal Concept Analysis. - Yutaka Miyazaki; Yuzuru Tanaka (EJC, 2009)

The structure of the lattice of normal extensions of modal logics with cyclic axioms. - Yutaka Miyazaki (Advances in Modal Logic, 2016)

Normal Modal Logics Determined by Aligned Clusters. - Zofia Kostrzycka; Yutaka Miyazaki (Stud Logica, 2017)

Normal Extensions of KTB of Codimension 3. - James Koussas; Tomasz Kowalski; Yutaka Miyazaki; Michael Stevens (Advances in Modal Logic, 2018)

A Circumference-Measurement Method Using a Model of a Leg and a 3D Camera. - Kamui Ono; Reimei Koike; Yutaka Miyazaki; Mariko Masujima; Keiko Ogawa-Ochiai; Norimichi Tsumura (EMBC, 2021)