{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T11:44:56Z","timestamp":1776080696086,"version":"3.50.1"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"18","license":[{"start":{"date-parts":[[2013,1,31]],"date-time":"2013-01-31T00:00:00Z","timestamp":1359590400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s11229-013-0246-8","type":"journal-article","created":{"date-parts":[[2013,1,30]],"date-time":"2013-01-30T07:22:41Z","timestamp":1359530561000},"page":"4023-4040","source":"Crossref","is-referenced-by-count":9,"title":["Some topological properties of paraconsistent models"],"prefix":"10.1007","volume":"190","author":[{"given":"Can","family":"Ba\u015fkent","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,1,31]]},"reference":[{"key":"246_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5587-4","volume-title":"Handbook of spatial logics","author":"M Aiello","year":"2007","unstructured":"Aiello, M., Pratt-Hartman, I. E., & van Benthem, J. (2007). Handbook of spatial logics. Berlin: Springer."},{"issue":"3\u20134","key":"246_CR2","doi-asserted-by":"crossref","first-page":"319","DOI":"10.3166\/jancl.12.319-363","volume":"12","author":"M Aiello","year":"2002","unstructured":"Aiello, M., & van Benthem, J. (2002). A modal walk through space. Journal of Applied Non-Classical Logics, 12(3\u20134), 319\u2013363.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"6","key":"246_CR3","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1093\/logcom\/13.6.889","volume":"13","author":"M Aiello","year":"2003","unstructured":"Aiello, M., van Benthem, J., & Bezhanishvili, G. (2003). Reasoning about space: The modal way. Journal of Logic and Computation, 13(6), 889\u2013920.","journal-title":"Journal of Logic and Computation"},{"key":"246_CR4","doi-asserted-by":"crossref","unstructured":"Artemov, S., Davoren, J. M., & Nerode, A. (1997). Modal logics and topological semantics for hybrid systems. Technical report. Mathematical Sciences Institute, Cornell University.","DOI":"10.21236\/ADA344355"},{"issue":"1","key":"246_CR5","first-page":"142","volume":"17","author":"C Ba\u015fkent","year":"2011","unstructured":"Ba\u015fkent, C. (2011). Completeness of public announcement logic in topological spaces. Bulletin of Symbolic Logic, 17(1), 142.","journal-title":"Bulletin of Symbolic Logic"},{"issue":"3","key":"246_CR6","doi-asserted-by":"crossref","first-page":"207","DOI":"10.3233\/FI-2012-710","volume":"118","author":"C Ba\u015fkent","year":"2012","unstructured":"Ba\u015fkent, C. (2012). Public announcement logic in geometric frameworks. Fundamenta Infomaticae, 118(3), 207\u2013223.","journal-title":"Fundamenta Infomaticae"},{"issue":"1","key":"246_CR7","first-page":"1","volume":"19","author":"J-Y B\u00e9ziau","year":"2002","unstructured":"B\u00e9ziau, J.-Y. (2002). S5 is a paraconsistent logic and so is first-order classical logic. Logical Studies, 19(1), 1\u20139.","journal-title":"Logical Studies"},{"issue":"1","key":"246_CR8","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.jal.2004.07.009","volume":"3","author":"J-Y B\u00e9ziau","year":"2005","unstructured":"B\u00e9ziau, J.-Y. (2005). Paraconsistent logic from a modal viewpoint. Journal of Applied Logic, 3(1), 7\u201314.","journal-title":"Journal of Applied Logic"},{"key":"246_CR9","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge tracts in theoretical computer science. Cambridge: Cambridge University Press.","DOI":"10.1017\/CBO9781107050884"},{"key":"246_CR10","unstructured":"Bourbaki, N. (1996). General topology. Elements of nathematics (Vol. 1). Reading, MA: Addison-Wesley."},{"issue":"1\u2014-2","key":"246_CR11","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1016\/j.apal.2008.11.001","volume":"159","author":"BT Cate","year":"2009","unstructured":"Cate, B. T., Gabelaia, D., & Sustretov, D. (2009). Modal languages for topology: Expressivity and definability. Annals of Pure and Applied Logic, 159(1\u2014-2), 146\u2013170.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"4","key":"246_CR12","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"NCA Costa da","year":"1974","unstructured":"da Costa, N. C. A. (1974). On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15(4), 497\u2013510.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"246_CR13","first-page":"655","volume-title":"Paraconsistent logics and paraconsistency","author":"NCA Costa da","year":"2007","unstructured":"da Costa, N. C. A., Krause, D., & Bueno, O. (2007). Philosophy of logic. In D. Jacquette (Ed.), Paraconsistent logics and paraconsistency (Vol. 5, pp. 655\u2013781). Amsterdam: Elsevier."},{"issue":"1","key":"246_CR14","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1215\/00294527-1626554","volume":"53","author":"TM Ferguson","year":"2012","unstructured":"Ferguson, T. M. (2012). Notes on the model theory of demorgan logics. Notre Dame Journal of Formal Logic, 53(1), 113\u2013132.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"246_CR15","volume-title":"Handbook of history of logic","author":"R Goldblatt","year":"2006","unstructured":"Goldblatt, R. (2006). Mathematical modal logic: A view of its evolution. In D. M. Gabbay & J. Woods (Eds.), Handbook of history of logic (Vol. 6). Amsterdam: Elsevier."},{"issue":"8\u201310","key":"246_CR16","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1002\/malq.19810270803","volume":"27","author":"ND Goodman","year":"1981","unstructured":"Goodman, N. D. (1981). The logic of contradiction. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik, 27(8\u201310), 119\u2013126.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"issue":"1\u2014-3","key":"246_CR17","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/j.apal.2004.06.004","volume":"131","author":"P Kremer","year":"2005","unstructured":"Kremer, P., & Mints, G. (2005). Dynamic topological logic. Annals of Pure and Applied Logic, 131(1\u2014-3), 133\u2013158.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"246_CR18","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"JCC McKinsey","year":"1944","unstructured":"McKinsey, J. C. C., & Tarski, A. (1944). The algebra of topology. The Annals of Mathematics, 45(1), 141\u2013191.","journal-title":"The Annals of Mathematics"},{"issue":"1","key":"246_CR19","doi-asserted-by":"crossref","first-page":"122","DOI":"10.2307\/1969038","volume":"47","author":"JCC McKinsey","year":"1946","unstructured":"McKinsey, J. C. C., & Tarski, A. (1946). On closed elements in closure algebras. The Annals of Mathematics, 47(1), 122\u2013162.","journal-title":"The Annals of Mathematics"},{"key":"246_CR20","volume-title":"A short introduction to intuitionistic logic.","author":"G Mints","year":"2000","unstructured":"Mints, G. (2000). A short introduction to intuitionistic logic. Amsterdam: Kluwer."},{"issue":"1\u20132","key":"246_CR21","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1023\/A:1005263111635","volume":"125","author":"C Mortensen","year":"2000","unstructured":"Mortensen, C. (2000). Topological seperation principles and logical theories. Synthese, 125(1\u20132), 169\u2013178.","journal-title":"Synthese"},{"key":"246_CR22","volume-title":"Logic, language and computation","author":"R Parikh","year":"1999","unstructured":"Parikh, R. (1999). Beliefs, belief revision and splitting languages. In L. S. Moss, J. Ginzburg, & M. de Rijke (Eds.), Logic, language and computation. Stanford, CA: CSLI."},{"key":"246_CR23","volume-title":"Handbook of spatial logics","author":"IE Pratt-Hartman","year":"2007","unstructured":"Pratt-Hartman, I. E. (2007). First-order mereotopology. In M. Aiello, I. E. Pratt-Hartman, & J. van Benthem (Eds.), Handbook of spatial logics. Berlin: Springer."},{"key":"246_CR24","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G. (1979). The logic of paradox. Journal of Philosophical Logic, 8, 219\u2013241.","journal-title":"Journal of Philosophical Logic"},{"issue":"8","key":"246_CR25","doi-asserted-by":"crossref","first-page":"410","DOI":"10.2307\/2564636","volume":"95","author":"G Priest","year":"1998","unstructured":"Priest, G. (1998). What is so bad about contradictions? Journal of Philosophy, 95(8), 410\u2013426.","journal-title":"Journal of Philosophy"},{"key":"246_CR26","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-94-017-0460-1_4","volume-title":"Handbook of philosophical logic","author":"G Priest","year":"2002","unstructured":"Priest, G. (2002). Paraconsistent logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 6, pp. 287\u2013393). Dordrecht: Kluwer."},{"key":"246_CR27","first-page":"129","volume-title":"Handbook of history of logic","author":"G Priest","year":"2007","unstructured":"Priest, G. (2007). Paraconsistency and dialethism. In D. M. Gabbay & J. Woods (Eds.), Handbook of history of logic (1st ed., Vol. 8, pp. 129\u2013204). Amsterdam: Elsevier.","edition":"1"},{"issue":"3","key":"246_CR28","first-page":"165","volume":"13","author":"G Priest","year":"2009","unstructured":"Priest, G. (2009). Dualising intuitionistic negation. Principia, 13(3), 165\u2013184.","journal-title":"Principia"},{"issue":"1\u2014-2","key":"246_CR29","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF02121115","volume":"36","author":"C Rauszer","year":"1977","unstructured":"Rauszer, C. (1977). Applications of kripke models to Heyting\u2013Brouwer logic. Studia Logica, 36(1\u2014-2), 61\u201371.","journal-title":"Studia Logica"},{"key":"246_CR30","unstructured":"van Benthem, J., & Bezhanishvili, G. (2007). Modal logics of space. In M. Aiello, I. E. Pratt-Hartman, & J. van Benthem (Eds.), Handbook of spatial logics. Berlin: Springer."},{"key":"246_CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic epistemic logic","author":"H Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic. Berlin: Springer."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-013-0246-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-013-0246-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-013-0246-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,21]],"date-time":"2020-07-21T11:24:49Z","timestamp":1595330689000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-013-0246-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,31]]},"references-count":31,"journal-issue":{"issue":"18","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["246"],"URL":"https:\/\/doi.org\/10.1007\/s11229-013-0246-8","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1,31]]}}}