Public Announcements, Topology and Paraconsistency
Résumé
In this paper, we discuss public announcement logic in topological con-text. Then, as an interesting application, we consider public announcement logic in a paraconsistent topological model.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...