• მათემატიკური ლოგიკა
• ინტუიციონისტური ლოგიკა
• მოდალური ლოგიკა
• ჰეიტინგის ალგებრა