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]
Preview
Text (Full Text)
MoL-2016-12.text.pdf

Download (883kB) | Preview
[thumbnail of Abstract] Text (Abstract)
MoL-2016-12.abstract.txt

Download (995B)

Abstract

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
URI: https://eprints.illc.uva.nl/id/eprint/984

Actions (login required)

View Item View Item