English Formal semantics (natural language) Cited by user Botterweg14 on 30 Jun 2021 Formal semantics is the study of grammatical meaning in natural languages using formal tools from logic and theoretical computer science.
English Dynamic semantics Cited by user Botterweg14 on 11 Aug 2020 Dynamic semantics is a framework in logic and natural language semantics that treats the meaning of a sentence as its potential to update a context.
English Dynamic epistemic logic Cited by user Guillaume.Aucher on 11 Dec 2015 Dynamic Epistemic Logic (DEL) is a logic for reasoning about information change and exchange of information.