JAIST Repository >
School of Information Science >
Articles >
Journal Articles >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/10932

Title: Dynamic Epistemic Logic for Channel-Based Agent Communication
Authors: Sano, Katsuhiko
Tojo, Satoshi
Keywords: dynamic epistemic logic
agent communication
Issue Date: 2013
Publisher: Springer
Magazine name: Fifth Indian Conference on Logic and its Applications
Volume: 7750
Start page: 109
End page: 120
DOI: 10.1007/978-3-642-36039-8_10
Abstract: This paper studies channel-based agent communication in terms of dynamic epistemic logic. First, we set up two sorted syntax which can deal with not only each agent's belief but also agents and channels between them. Second, we propose a context-sensitive `inform'-action operator whose effectivity always assumes the existence of channel between agents. Its context-sensitivity can be achieved by downarrow binder from hybrid logic. Third, we provide complete Hilbert-style axiomatizations for both static and dynamic parts of our logic.
Rights: This is the author-created version of Springer, Katsuhiko Sano and Satoshi Tojo, Fifth Indian Conference on Logic and its Applications, 7750, 2013, 109-120. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/978-3-642-36039-8_10
URI: http://hdl.handle.net/10119/10932
Material Type: author
Appears in Collections:b10-1. 雑誌掲載論文 (Journal Articles)

Files in This Item:

File Description SizeFormat
18798.pdf126KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.


Contact : Library Information Section, Japan Advanced Institute of Science and Technology