Journal of Applied Logic (ScienceDirect) Vol. 1, 2003-