IfColog Journal of Logics and heir Applications. Volume 2, Number 1