Joerg Bredle

• Proceedings of the 10Th Asian Logic Conference