{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:41:52Z","timestamp":1740134512490,"version":"3.37.3"},"reference-count":7,"publisher":"Wiley","license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Mathematics and Mathematical Sciences"],"published-print":{"date-parts":[[2016]]},"abstract":"<jats:p>In this paper we consider the topological interpretations of <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" id=\"M1\"><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant=\"script\">L<\/mml:mi><\/mml:mrow><mml:mrow><mml:mo>\u25a1<\/mml:mo><\/mml:mrow><\/mml:msub><\/mml:mrow><\/mml:math>, the classical logic extended by a \u201cbox\u201d operator <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" id=\"M2\"><mml:mrow><mml:mo>\u25a1<\/mml:mo><\/mml:mrow><\/mml:math> interpreted as interior. We present extensions of<jats:bold> S4<\/jats:bold> that are sound over some families of topological spaces, including particular point topological spaces, excluded point topological spaces, and quotient spaces of finite CW-complexes.<\/jats:p>","DOI":"10.1155\/2016\/9163014","type":"journal-article","created":{"date-parts":[[2016,12,26]],"date-time":"2016-12-26T16:14:42Z","timestamp":1482768882000},"page":"1-3","source":"Crossref","is-referenced-by-count":0,"title":["Modal Logic Axioms Valid in Quotient Spaces of Finite CW-Complexes and Other Families of Topological Spaces"],"prefix":"10.1155","volume":"2016","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9832-7789","authenticated-orcid":true,"given":"Maria","family":"Nogin","sequence":"first","affiliation":[{"name":"Department of Mathematics, California State University, Fresno, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bing","family":"Xu","sequence":"additional","affiliation":[{"name":"Department of Mathematics, California State University, Fresno, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","reference":[{"key":"2","doi-asserted-by":"publisher","DOI":"10.2307\/1969080"},{"key":"3","series-title":"Studies in Fuzziness and Soft Computing","first-page":"79","volume-title":"A completeness proof for propositional S4 in cantor space","volume":"24","year":"1998"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2004.10.010"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.6.889"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2004.06.003"},{"year":"1995","key":"7"},{"volume":"35","year":"1997","series-title":"Oxford Logic Guides","key":"1"}],"container-title":["International Journal of Mathematics and Mathematical Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/journals\/ijmms\/2016\/9163014.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/ijmms\/2016\/9163014.xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/ijmms\/2016\/9163014.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,26]],"date-time":"2016-12-26T16:14:42Z","timestamp":1482768882000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.hindawi.com\/journals\/ijmms\/2016\/9163014\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"references-count":7,"alternative-id":["9163014","9163014"],"URL":"https:\/\/doi.org\/10.1155\/2016\/9163014","relation":{},"ISSN":["0161-1712","1687-0425"],"issn-type":[{"type":"print","value":"0161-1712"},{"type":"electronic","value":"1687-0425"}],"subject":[],"published":{"date-parts":[[2016]]}}}