Skip to content

The 0-1 law fails for frame satisfiability of propositional modal logic.

Jean-Marie Le Bars

VenueA*LICS
Year2002
ProceedingsLICS

Browse the full LICS paper archive.