MoL-2013-18: Carrington, Robert (2013) Learning and Knowledge in Social Networks. [Report]
Preview |
Text (Full Text)
MoL-2013-18.text.pdf Download (529kB) | Preview |
Text (Abstract)
MoL-2013-18.abstract.txt Download (952B) |
Abstract
For most purposes, the information an agent can readily access is just
as important as the agent’s knowledge. This thesis explores several
approaches to reasoning about the information agents in a network can
access. The first section introduces a modality for information from
immediate connections, and axiomatizes the resulting epistemic logic
(EAL). I also introduce and axiomatize iterated version of the logic
(IAL), which considers information along multiple edges of access. I
prove both of these logics complete for epistemic models equipped with
an edge relation. I define and axiomatize two additional logics for
access without completeness – a version with restricted access (RAL)
and one extending the existing framework of epistemic friendship logic
with iterated access modalities (IFL).
Item Type: | Report |
---|---|
Report Nr: | MoL-2013-18 |
Series Name: | Master of Logic Thesis (MoL) Series |
Year: | 2013 |
Uncontrolled Keywords: | Logic; Computation; Dynamic Epistemic Logic; Social Network |
Date Deposited: | 12 Oct 2016 14:38 |
Last Modified: | 12 Oct 2016 14:38 |
URI: | https://eprints.illc.uva.nl/id/eprint/907 |
Actions (login required)
View Item |