Proceedings Of The Sixth Asian Logic Conference