1       Artificial Intelligence
1       AI Magazine
1       Journal of Logic and Computation
1       journal of philosophical logic
1       journal of symbolic logic