2001 | |
[2] | Ground and free-variable tableaux for variants of quantified modal logics ( ), In Studia Logica, volume 69, 2001. |
[1] | Free-variable tableaux for constant-domain quantified modal logics with rigid and non-rigid designation ( ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 2083 LNAI, 2001. |