Article (Scientific journals)
An internal version of epistemic logic
Aucher, Guillaume
2010In Studia Logica, 94 (1), p. 1-22
Peer reviewed
 

Files


Full Text
STUDIA_LOGICA_REVISED.PDF
Author postprint (219.14 kB)
Download

The final publication is available at Springer via http://dx.doi.org/10.1007/s11225-010-9227-9


All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Epistemic logic; multi-agent systems; internal approach
Abstract :
[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.
Disciplines :
Physical, chemical, mathematical & earth Sciences: Multidisciplinary, general & others
Engineering, computing & technology: Multidisciplinary, general & others
Identifiers :
UNILU:UL-ARTICLE-2009-814
Author, co-author :
Aucher, Guillaume ;  Université Paul Sabatier (F) ; University of Otago (NZ) ; IRIT – Équipe LILaC
Language :
English
Title :
An internal version of epistemic logic
Publication date :
01 February 2010
Journal title :
Studia Logica
ISSN :
1572-8730
Publisher :
Springer, Berlin, Germany
Volume :
94
Issue :
1
Pages :
1-22
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 19 March 2014

Statistics


Number of views
27 (0 by Unilu)
Number of downloads
227 (1 by Unilu)

Scopus citations®
 
19
Scopus citations®
without self-citations
14
OpenCitations
 
16
WoS citations
 
14

Bibliography


Similar publications



Contact ORBilu