TY - GEN
T1 - Public announcements under sheaves
AU - Kishida, Kohei
PY - 2013/9/3
Y1 - 2013/9/3
N2 - The goal of this article is to bring together the frameworks of model-update semantics for (propositional) public-announcement logic [9] and of sheaf semantics for first-order modal logic [2,10,14], and to thereby obtain a sheaf semantics for first-order public-announcement logic. The first attempt to extend dynamic epistemic logics to the first order was made by Kooi [15], who introduced terms to refer to epistemic agents, and an extension of public-announcement logic to the first order was briefly given by Ma [18]; both of these extensions used constant domains for interpreting first-order vocabulary. (A first-order extension of dynamic logic was given in [12,13], also with constant domains.) This article pushes ahead with these extensions by employing a sheaf structure, providing a progress toward a more flexible and useful treatment of first-order notions.
AB - The goal of this article is to bring together the frameworks of model-update semantics for (propositional) public-announcement logic [9] and of sheaf semantics for first-order modal logic [2,10,14], and to thereby obtain a sheaf semantics for first-order public-announcement logic. The first attempt to extend dynamic epistemic logics to the first order was made by Kooi [15], who introduced terms to refer to epistemic agents, and an extension of public-announcement logic to the first order was briefly given by Ma [18]; both of these extensions used constant domains for interpreting first-order vocabulary. (A first-order extension of dynamic logic was given in [12,13], also with constant domains.) This article pushes ahead with these extensions by employing a sheaf structure, providing a progress toward a more flexible and useful treatment of first-order notions.
UR - http://www.scopus.com/inward/record.url?scp=84883162864&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84883162864&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-39931-2_8
DO - 10.1007/978-3-642-39931-2_8
M3 - Conference contribution
AN - SCOPUS:84883162864
SN - 9783642399305
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 96
EP - 108
BT - New Frontiers in Artificial Intelligence - JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Revised Selected Papers
T2 - 4th JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2012
Y2 - 30 November 2012 through 1 December 2012
ER -