Angol
Rapid innovations in digital technology deeply influence views on language and information processing. Any new developments raise many questions for researchers, and can help shed new light on old approaches. Logic is a tool that researchers can use to gain insight into investigations of the relation between form and content, the ways that linguistic utterances change information content and the dynamics of information change. This text presents a broad range of logical investigations into language and information processing. Topics covered include: the notion of "reasonable belief" in commonsense reasoning, perpetual reports in natural languages, the logic of creation and modification of objects, the verification of temporal aspects of reactive systems, analysis of scope by combining model theory and situation semantics, and semantic analysis of the information articulation of linguistic statements.
