{"entities":{"Q971888":{"pageid":973736,"ns":120,"title":"Item:Q971888","lastrevid":65842689,"modified":"2026-04-12T05:44:28Z","type":"item","id":"Q971888","labels":{"en":{"language":"en","value":"The modal logic of continuous functions on the rational numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5708673"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971888$0D0EA005-77F7-4355-8B08-14129941B507","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a83a556ac6aa1d7aa4ffc834e1c6c574824b61e3","datavalue":{"value":{"text":"The modal logic of continuous functions on the rational numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q971888$B73F6D1B-4FF5-4183-9C90-C9E77084236A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea9d8c58f3cba18825bbc6963068493830eebb22","datavalue":{"value":"1193.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q971888$494C33DC-D2E8-45FD-B088-45F1F7E260DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5edd1deb266eec07d4ef7aa54b2db704a7084647","datavalue":{"value":{"entity-type":"item","numeric-id":211182,"id":"Q211182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971888$B9668010-6C94-4C8A-A823-DBD405D8A541","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971888$BC4BAFB5-3829-4415-B865-CC90CA4E552E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fca30e354967714e069ba1374b985a5b5e66b940","datavalue":{"value":{"time":"+2010-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q971888$676BBAAF-5F77-404C-8FD5-58D085848B6F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cd87471f7a25f32636027dce0c7a53b7c3126b11","datavalue":{"value":"Related to the development of hybrid systems, certain bi-modal logics with an S4-ish as well as a functional modality have got some attention in the literature in recent years. These logics extend the well-known topological semantics of modal logic as follows. The operator respecting the S4-laws is interpreted as topological interior, as usual. The other modality, however, models the pre-image under a continuous function on the topological space in question. See \\textit{P. Kremer} and \\textit{G. Mint}'s Chapter 10 in [M.~Aiello et al.~(eds.), Handbook of spatial logics. Dordrecht: Springer. 565--606 (2007; Zbl 1172.03001)] for an overwiew of Dynamic Topological Logic arising from that.  A nice theorem due to McKinsey and Tarski states that not only S4 is the logic of general topological spaces, but of the real line in particular. Quite recently, several results of this kind have been proven for various extensions of S4. The outcome of the present paper fits into this class of results. The author shows that the basic dynamic topological system, S4C, is sound and complete for continuous functions on the rational numbers endowed with the topology induced by that of \\(\\mathbb R\\). This theorem fills a gap in the light of already existing completeness results for S4C.","type":"string"},"datatype":"string"},"type":"statement","id":"Q971888$DD984C2C-805C-4D1A-82DE-83495BE1EEA5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8746a658e51bb356ff2ae7f1a374c72606388a51","datavalue":{"value":{"entity-type":"item","numeric-id":190300,"id":"Q190300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971888$950461C4-62BF-4B0B-A377-820901FFC177","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q971888$D619E811-11A4-46F8-8BD9-8BC52AD6C2EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eafe2b5ff4da9a1849dae7fd53cd33c0cc0f0870","datavalue":{"value":"5708673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q971888$EF52C77D-0507-4CF8-9EF1-8B400F3CCCBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41f59b0cea485a53531690499a7381a21eb08068","datavalue":{"value":"modal logics of space","type":"string"},"datatype":"string"},"type":"statement","id":"Q971888$20079394-8807-4408-AB4D-35471E0DFA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c0c2eac79bee46aee550817d9658f5badf3eff4","datavalue":{"value":"dynamic topological logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q971888$D4F21700-06E0-4EEC-89EA-47161188F515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q971888$7FFEE5FC-93DC-4F4A-AF6E-EC604D080F96","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971888$15132202-37DF-4C23-9D96-4278ACD52B46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dad238f59728155f37812b51388e65b290b740b","datavalue":{"value":"https://doi.org/10.1007/s00153-010-0185-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q971888$56B85D7A-7B43-42BA-8703-779BE898A598","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0956af5be3da5319358f6151dd7d38d6e76ce5b","datavalue":{"value":"W2134509352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q971888$9B42EAB0-EA49-4D46-9B1B-22B3A3FC26E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c5640babf35bb84bd3125aa82ea08fe500a9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3442403,"id":"Q3442403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971888$57543130-43D7-4DFD-BDE1-EA46662D0085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21570de8f6f5c03bdba119f6c74df407c4fd8fb6","datavalue":{"value":{"entity-type":"item","numeric-id":862352,"id":"Q862352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971888$592B9617-A53C-445D-BC56-97E5B28C18EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef377be609bdf17409a180b5b277bb12cc1abded","datavalue":{"value":{"entity-type":"item","numeric-id":705534,"id":"Q705534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971888$8286FBD4-0966-4BDC-930B-EF8E334B3549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971888$945AF48A-E2EC-4154-94C4-912EC177CAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af2ca09d5b51411264ba96331e4cb28ec529ddf","datavalue":{"value":{"entity-type":"item","numeric-id":2388436,"id":"Q2388436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971888$D5CF2D44-77F3-45A0-AA0D-F116D8433856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f8cea4691b9b954da7029114b5d6db19326280","datavalue":{"value":{"entity-type":"item","numeric-id":861569,"id":"Q861569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971888$9A9C394C-6FEE-44DC-9E08-89BDA6CF8196","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b36f99bdd1ecae50874b740cc32e8910b7371b2d","datavalue":{"value":"10.1007/S00153-010-0185-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q971888$6A6E2430-B56D-4F21-8697-B341AAAA66AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac632c3116499e3b4c64cafcc407c64c88c672e","datavalue":{"value":{"entity-type":"item","numeric-id":2388436,"id":"Q2388436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad83b5c4a7d06745ea800b0891d6d28e5a9ceff","datavalue":{"value":{"amount":"+0.8160109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q971888$34112BA4-9577-4EDA-B48C-946A2FD0C37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce3d769ccc15c36c35a9c60ce570dfbfa6ab067d","datavalue":{"value":{"entity-type":"item","numeric-id":3371957,"id":"Q3371957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759424dda8fb048121bb5a983932427055d8a30e","datavalue":{"value":{"amount":"+0.8087002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q971888$001532FE-A690-43EA-8EDE-143505336F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"467d210af205c85e6317b112cb135df234ff238e","datavalue":{"value":{"entity-type":"item","numeric-id":5479024,"id":"Q5479024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dee71770070c80b50757a6be0967e491202ecc8","datavalue":{"value":{"amount":"+0.800326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q971888$A7545504-1E6A-49E2-A905-D3397AA67FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7c52730b90305ff5d16b95f1b28c79414825ec","datavalue":{"value":{"entity-type":"item","numeric-id":705534,"id":"Q705534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a74a54fa9474f9f850964537e887015830b43d2","datavalue":{"value":{"amount":"+0.7948057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q971888$377742EE-EEBD-4549-AFEC-883CBDC7C8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f09a6c3c8be16dd39b6b162660b560e003807688","datavalue":{"value":{"entity-type":"item","numeric-id":862352,"id":"Q862352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af765458ff75c2f7b3f2b880595dd044069e5d88","datavalue":{"value":{"amount":"+0.78152263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q971888$EE387670-0C37-40D1-A40F-C60F902CB596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9901ce55958cd0d1f62eea3a9d3018fe4ef0422e","datavalue":{"value":{"entity-type":"item","numeric-id":3549319,"id":"Q3549319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29972a1c8b17bf2f08abe8a747e174fc8464e416","datavalue":{"value":{"amount":"+0.75755525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q971888$FE2C4362-33C3-41DE-B75B-36BA2931E1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7f8bc105a94f58634e99eaea11f89c022855a19","datavalue":{"value":{"entity-type":"item","numeric-id":5066804,"id":"Q5066804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b09cbe0a3cac57d1ee2b7111aa3dc3e74d17ab84","datavalue":{"value":{"amount":"+0.74669117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q971888$490F4910-E930-455F-B260-3B1C272BCAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a98738411f029dd504f0173d28a943c393b070d","datavalue":{"value":{"entity-type":"item","numeric-id":1024554,"id":"Q1024554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4601ce0e31151fe3cb31d2d254cded08ed2813","datavalue":{"value":{"amount":"+0.7440933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q971888$0F70FDFE-D719-4577-9BF1-8EA814CFCF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42389f70c1aa7f5fa7e1619e5b7b266c2084ce66","datavalue":{"value":{"entity-type":"item","numeric-id":2915900,"id":"Q2915900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"febd4d7872f78f503d23523f3da7cc2eeeadc394","datavalue":{"value":{"amount":"+0.7406358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q971888$503C3F54-FCF7-4ECE-860D-A74168C21B3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The modal logic of continuous functions on the rational numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_modal_logic_of_continuous_functions_on_the_rational_numbers"}}}}}