MoL-2016-12: Action Models in Inquisitive Logic

MoL-2016-12: van Gessel, Thom (2016) Action Models in Inquisitive Logic. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (883kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (995B)


In Dynamic Epistemic Logic, action models are used to encode situations in which agents are uncertain about information being exchanged. These models show how publicly or privately announced statements can bring about change in knowledge. In real communication, questions also play a big part. Asking a question can raise an issue, which typically triggers the recipient to resolve it. Therefore, adding questions and issues to action models makes them more suitable as models of communication.
In this thesis, we merge the ideas of Inquisitive Epistemic Logic (IEL) and Action Model Logic (AML) in three different ways. This results in three systems, which can encode the exchange of statements and questions and compute their effects on knowledge and issues. Each of these systems can be regarded as a conservative extension of both AML and IEL, and is provided with a sound and complete axiomatization.

Item Type: Report
Report Nr: MoL-2016-12
Series Name: Master of Logic Thesis (MoL) Series
Year: 2016
Uncontrolled Keywords: logic, language
Subjects: Logic
Date Deposited: 12 Oct 2016 14:39
Last Modified: 12 Oct 2016 14:39

Actions (login required)

View Item View Item