Plausibility Revision in Higher-Order Logic With an Application in Two-Dimensional Semantics
Erich Rast · 2011
In this article, a qualitative notion of subjective plausibility and its revision based on a preorder relation are implemented in higher-order logic. This notion of plausibility is used for modeling pragmatic aspects of communication on top of traditional two-dimensional semantic representations. First, some prerequisites