Leram - Ifcolog Journal of Logics and their Applications. Proceedings of the Third Workshop. Volume 4, number 3