A Seligman-Style Tableau System.

Patrick Blackburn, Thomas Bolander, Torben Braner, Klaus Frovin Jrgensen

Browse the full LPAR paper archive.