{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:31:43Z","timestamp":1725463903501},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>We consider propositional language endowed with three families of modal operators:<\/jats:p><jats:p>operators of the first type are interpreted by iterations of the Cantor derivative, operators of the second and the third types are interpreted by the image and the preimage of finitary operations on a topological space. We describe logics in this language that are sound and complete w.r.t. operations of a certain kind: injective, continuous, open, closed, continuous and discrete, closed of finite rank, separately continuous and separately discrete, etc. These results are based on our recent work \"On interactions of the Cantor derivative and images of finitary maps between topological spaces\" (2012, submitted to Topology and its Applications).<\/jats:p>","DOI":"10.29007\/th3m","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T22:59:06Z","timestamp":1516748346000},"page":"195-190","source":"Crossref","is-referenced-by-count":0,"title":["On the modal logic of the iterated Cantor derivative and finitary operations on topological spaces"],"prefix":"10.29007","volume":"25","author":[{"given":"Denis I.","family":"Saveliev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"11545","event":{"name":"TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic"},"container-title":["EPiC Series in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T23:01:16Z","timestamp":1516748476000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/gVs"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/th3m","relation":{},"ISSN":["2398-7340"],"issn-type":[{"type":"print","value":"2398-7340"}],"subject":[]}}