Public Announcements, Topology and Paraconsistency - Archive ouverte HAL Access content directly
Conference Papers Year :

Public Announcements, Topology and Paraconsistency


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.
Fichier principal
Vignette du fichier
paraconsistentPAL-loft.pdf (169.04 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01094782 , version 1 (18-12-2014)


  • HAL Id : hal-01094782 , version 1


Can Baskent. Public Announcements, Topology and Paraconsistency. Informal Proceedings of LOFT Conference 2014, Jul 2014, Bregen, Norway. ⟨hal-01094782⟩
141 View
113 Download


Gmail Facebook Twitter LinkedIn More