![]() | ![]() |
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 | Thierry Lucas | [1] [2] |