Media type: E-Article Title: Lecture Notes in Computer Science: Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation Contributor: Cerrito, Serenella; Mayer, Marta Cialdea Published: Springer Berlin Heidelberg, 2001 Published in: Lecture Notes in Computer Science (2001), Seite 137-151 Language: Without Specification DOI: 10.1007/3-540-45744-5_11 ISBN: 9783540422549; 9783540457442 ISSN: 0302-9743; 1611-3349 Origination: Footnote: