Yutaka Miyazaki DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Copyright © Thu Dec 10 16:00:26 2009 by Michael Ley (ley@uni-trier.de)