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.

Specifying and Verifying and Reasoning about Programs (acm F.3.1), Semantics of Programming Languages (acm F.3.2), Knowledge Representation Formalisms and Methods (acm I.2.4), Natural Language Processing (acm I.2.7)
CWI
Department of Computer Science [CS]
Logic and language

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