Gabbay-makinson conditions
Redirect to:
Rational consequence relation