Start Preliminaries Plausibility Applications End Plausibility Revision in Higher-Order Logic with an Application in Two-Dimensional Semantics Erich Rast erich@snafu.de IFL, Universidade Nova de Lisboa LogKCA-10, November 2010