Geometric Public Announcement Logics

Subset space logic (SSL, henceforth) was presented in early In this paper, we consider public announcement logic (PAL, 90s as a bimodal logic to formalize reasoning about sets and henceforth) in several different geometric models, and prove points (Moss and Parikh 1992). The language of SSL has its completeness of those models. Moreover, we also consider two modal operators K and . A subset space model is a some applications of our ideas in different fields varying triple S 〈S, σ, v〉 where S is a nonempty set, σ is a collection from game theory to epistemic logic. What makes our of subsets (not necessarily a topology), v is a valuation work novel is the fact that PAL has never been investigated function. Semantics of SSL for modal operators is given in geometric and topological models with further applications.