Login / Signup

Completeness and termination for a Seligman-style tableau system.

Patrick BlackburnThomas BolanderTorben BraünerKlaus Frovin Jørgensen
Published in: J. Log. Comput. (2017)
Keyphrases