Modern logic