28. Logic-Based tools for legal contract drafting: prospects and problems

29. Contraction can result in less uncertainty

30. Modular logic programming and abstract data types

31. Reductions of search space in RUE-Resolution theorem proving

32. Reasoning about termination of tabled logic programs

33. A set-oriented resolution method for recursive query processing

34. Logics associated with complex systems

35. Η Λογική των Μεγαρικών: μία άλλη εκδοχή του ελληνικού λόγου

36. Ο Λογισμός των προτάσεων στους Στωικούς

37. On the effects of training deductive reasoning

38. Children's and adult's reasoning: logical necessity and pragmatic plausibility

39. Is there a Logic of Abduction?

40. Reflections on a category-theoretic approach to quantum mechanics

41. Μερικές σκέψεις για την έρευνα επί της μαθηματικής λογικής στην Ελλάδα

42. Rationality: a change in turnstyle

43. Frontiers of logic: research trends and directions

44. Frontiers of logic: research trends and directions (position for the panel discussion)

45. Effective computations in analysis

46. Formal methods and their application

47. Applications of logic in databases