| |
| 2000 | ||
|---|---|---|
| 2 | René Lavendhomme, Thierry Lucas: Sequent Calculi and Decision Procedures for Weak Modal Systems. Studia Logica 66(1): 121-145 (2000) | |
| 1990 | ||
| 1 | Thierry Lucas, René Lavendhomme: Varying Modal Theories. Notre Dame Journal of Formal Logic 31(3): 389-402 (1990) | |
| 1 | René Lavendhomme | [1] [2] |