Abstract
In this paper, we discuss public announcement logic in topological context. Then, as an interesting application, we consider public announcement logic in a paraconsistent topological model.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., de Lima, T.: ‘Knowable’ as ‘known after an announcement’. Rev. Symbol. Log. 1(3), 305–334 (2008)
Başkent, C.: Public announcement logic in geometric frameworks. Fundam. Inf. 118(3), 207–223 (2012)
Başkent, C.: Some topological properties of paraconsistent models. Synthese 190(18), 4023–4040 (2013)
Başkent, C., Olde Loohuis, L., Parikh, R.: On knowledge and obligation. Episteme 9(2), 171–188 (2012)
Carnielli, W.A., Coniglio, M.E., Marcos, J.: Logics of formal inconsistency. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 14, pp. 15–107. Springer, Dordrecht/London (2007)
da Costa, N.C.A., Krause, D., Bueno, O.: Paraconsistent logics and paraconsistency. In: Jacquette, D. (ed.) Philosophy of Logic, vol. 5, pp. 655–781. Elsevier, Amsterdam (2007)
Gerbrandy, J.: Bisimulations on Planet Kripke. PhD thesis, Institute of Logic, Language and Computation, Universiteit van Amsterdam (1999)
Goodman, N.D.: The logic of contradiction. Z. für Math. Log. und Grundl. der Math. 27(8–10), 119–126 (1981)
Kelly, T.: Disagreement, dogmatism and belief polarization. J. Philos. 105(10), 611–633 (2008)
Kooi, B.: Expressivity and completeness for public update logics via reduction axioms. J. Appl. Non-class. Log. 17(2), 231–253 (2007)
McKinsey, J.C.C., Tarski, A.: The algebra of topology. Ann. Math. 45(1), 141–191 (1944)
McKinsey, J.C.C., Tarski, A.: On closed elements in closure algebras. Ann. Math. 47(1), 122–162 (1946)
Mints, G.: A Short Introduction to Intuitionistic Logic. Kluwer, New York (2000)
Mortensen, C.: Topological seperation principles and logical theories. Synthese 125(1–2), 169–178 (2000)
Plaza, J.A.: Logic of public communication. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) 4th International Symposium on Methodologies for Intelligent Systems, Charlotte, pp. 201–216 (1989)
Priest, G.: The logic of paradox. J. Philos. Log. 8, 219–241 (1979)
Priest, G.: Paraconsistent belief revision. Theoria 67(3), 214–228 (2001)
Priest, G.: Paraconsistent logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 6, pp. 287–393. Kluwer, Dordrecht (2002)
Priest, G.: In Contradiction, 2nd edn. Oxford University Press, Oxford/New York (2006)
Priest, G.: An Introduction to Non-classical Logic. Cambridge University Press, Cambridge/New York (2008)
van Benthem, J., Bezhanishvili, G.: Modal logics of space. In: Aiello, M., Pratt-Hartman, I.E., van Benthem, J. (eds.) Handbook of Spatial Logics. Springer, Dordrecht (2007)
van Benthem, J., Sarenac, D.: The geometry of knowledge. In: Beziau, J.-Y., Facchini, A. (eds.) Aspects of Universal Logic. Volume 17 of Travaux Logic, pp. 1–31. Centre de recherches sémiologiques, Université de Neuchâtel, Neuchâtel (2004)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Başkent, C. (2016). Public Announcements and Inconsistencies: For a Paraconsistent Topological Model. In: Redmond, J., Pombo Martins, O., Nepomuceno Fernández, Á. (eds) Epistemology, Knowledge and the Impact of Interaction. Logic, Epistemology, and the Unity of Science, vol 38. Springer, Cham. https://doi.org/10.1007/978-3-319-26506-3_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-26506-3_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-26504-9
Online ISBN: 978-3-319-26506-3
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)