Public announcements under sheaves

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.

Original languageEnglish (US)
Title of host publicationNew Frontiers in Artificial Intelligence - JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Revised Selected Papers
Number of pages13
StatePublished - Sep 3 2013
Externally publishedYes
Event4th JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2012 - Miyazaki, Japan
Duration: Nov 30 2012Dec 1 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7856 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference4th JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2012

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Public announcements under sheaves'. Together they form a unique fingerprint.

Cite this