![]() |
| 2007 | ||
|---|---|---|
| 7 | EE | Yutaka Miyazaki: Kripke Incomplete Logics Containing KTB. Studia Logica 85(3): 303-317 (2007) |
| 6 | EE | Yutaka Miyazaki: A Splitting Logic in NExt(KTB). Studia Logica 85(3): 381-394 (2007) |
| 2005 | ||
| 5 | EE | Yutaka Miyazaki: Some Properties of Orthologics. Studia Logica 80(1): 75-93 (2005) |
| 2004 | ||
| 4 | EE | Yutaka Miyazaki: Normal Modal Logics Containing KTB with some Finiteness Conditions. Advances in Modal Logic 2004: 171-190 |
| 2002 | ||
| 3 | Yutaka Miyazaki: Binary Logics, Orthologics, and their Relations to Normal Modal Logics. Advances in Modal Logic 2002: 313-334 | |
| 2001 | ||
| 2 | EE | Yutaka Miyazaki: Kripke-style Semantics of Orthomodular Logics. Math. Log. Q. 47(3): 341-362 (2001) |
| 1999 | ||
| 1 | EE | Yutaka Miyazaki: The Super-Amalgamation Property of the Variety of Ortholattices. Reports on Mathematical Logic 33: 45-63 (1999) |