MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
    Post Closed as "not a real question" by Andres Caicedo, Theo Johnson-Freyd, Emil Jeřábek, Bill Johnson, Andy Putman

show/hide this revision's text 2 edited tags
show/hide this revision's text 1

Local consecuence in modal logic

which means the local consecuence? in a modal logic