Modal logic
Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning)
Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning)
Handbook of Spatial Logics
A Hybrid Logic for Reasoning about Knowledge and Topology
Journal of Logic, Language and Information
Reasoning About Operations on Sets
CAI '07 Proceedings of the 20th conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
A Two-Dimensional Hybrid Logic of Subset Spaces
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
Dynamic Epistemic Logic
Hi-index | 0.00 |
Starting off with Moss and Parikh's investigation into knowledge and topology, we propose a logical system which is capable of formally handling endomorphisms of subset spaces. The motivation for doing so originates from dynamic agent logics. Usually, these logics comprise certain epistemic actions. Our aim is to show that an appropriate extension of the Moss-Parikh system can serve similar purposes. In fact, since the semantics of an action can be described as a function inducing a change of the knowledge states of the involved agents, such transformations are to be modeled accordingly. Due to the ambivalence of the framework used here, this has some quasi-topological impact, too, in so far as a certain notion of open mapping can be captured now. The main issues of this paper concern the basic logical properties of the arising system, in particular, completeness. Our main technical resource for that is hybrid logic.