Reference : An internal version of epistemic logic
Scientific journals : Article
Physical, chemical, mathematical & earth Sciences : Multidisciplinary, general & others
Engineering, computing & technology : Multidisciplinary, general & others
http://hdl.handle.net/10993/16092
An internal version of epistemic logic
English
Aucher, Guillaume [Université Paul Sabatier (F) ; University of Otago (NZ) ; IRIT – Équipe LILaC]
1-Feb-2010
Studia Logica
Springer
94
1
1-22
Yes
0039-3215
1572-8730
Berlin
Germany
[en] Epistemic logic ; multi-agent systems ; internal approach
[en] Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling points of view which are logically possible. We call the one traditionally followed by epistemic logic the perfect external approach, because there the modeler is assumed to be an omniscient and external observer of the epistemic situation. In the rest of the paper we focus on what we call the internal approach, where the modeler is one of the agents involved in the situation. For this approach we propose and axiomatize a logical formalism based on epistemic logic. This leads us to formalize some intuitions about the internal approach and about its connections with the external ones. Finally, we show that our internal logic is decidable and PSPACE-complete.
http://hdl.handle.net/10993/16092
10.1007/s11225-010-9227-9
The final publication is available at Springer via http://dx.doi.org/10.1007/s11225-010-9227-9

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
STUDIA_LOGICA_REVISED.PDFNo commentaryAuthor postprint214.01 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.