![]() | ![]() |
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) |