Free-Variable Tableaux for Propositional Modal Logics

Bernhard Beckert, Rajeev Goré. Free-Variable Tableaux for Propositional Modal Logics. Studia Logica, 69(1):59-96, 2001.

Possibly Related Publications

The following publications are possibly variants of this publication: