First-Order Dynamic Logic
Dynamic Logic
Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics)
Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics)
Dynamic Epistemic Logic
Dynamic Logics of Evidence-Based Beliefs
Studia Logica
Mathematics of public announcements
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Neighborhood-Sheaf Semantics for First-Order Modal Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
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.