Presupposition failures are errors occurring during the left-right processing of a computer program or natural language text. A general method for analysing such errors with dynamic logic is presented, based on the idea that sequential processing changes context dynamically and that this process of context change can be made the object of analysis in dynamic modal logic.

, , ,
Department of Computer Science [CS]
Logic and language

van Eijck, D.J.N. (1995). Presuppositions and information updating. Department of Computer Science [CS]. CWI.