{"entities":{"Q2388436":{"pageid":2399179,"ns":120,"title":"Item:Q2388436","lastrevid":55968238,"modified":"2026-02-21T14:54:16Z","type":"item","id":"Q2388436","labels":{"en":{"language":"en","value":"Propositional logic of continuous transformations in Cantor space"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2204871"}},"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":"Q2388436$3EC5F1B9-27E0-4EE6-8C76-8ABF6CAC9030","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a805395fa5d921bdb838ea73b6d54ae5aac9af0","datavalue":{"value":{"text":"Propositional logic of continuous transformations in Cantor space","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2388436$898419FA-8B13-424F-9E21-A063145CEC7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd67369d9a115907fa67843de550b22f0cefad86","datavalue":{"value":"1103.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388436$E2633F93-8A12-4791-9503-0AA615FFD5B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388436$840AF138-22C4-4DE0-A6CC-0BF482A085F7","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":"Q2388436$4EA867E7-C830-42A8-8496-33ED9CBCF3DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55ab6e805551e7b791a259ed3bf364368e8696b2","datavalue":{"value":{"time":"+2005-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2388436$E4F4138D-3FB2-4C08-8EBD-482A4F81F600","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"309739f989658a7ddc4b8724877281378b842372","datavalue":{"value":"This is a paper on dynamic topological logic, that is, it uses logical means to study a topological space \\(X\\) provided with a continuous transformation \\(T\\) on \\(X\\). The logical approach consists of a propositional modal logic with two modal operations \\(\\square\\) and \\(\\bigcirc\\): the variables are interpreted as subsets of \\(X\\), whereas the modal operations are interpreted as the interior (\\(\\square\\)) and the pre-image under \\(T\\) (\\(\\bigcirc \\)). The paper studies the logic S4C, which includes the axioms for S4, plus the axiom \\(\\bigcirc \\square A \\to \\square\\bigcirc A\\) (the Continuity of \\(T\\)), plus some standard axioms relation \\(\\bigcirc \\) to the classical connectives. This logic is proved to be complete for the Cantor space.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2388436$C6B63A96-3AF6-4A02-B5E8-D4C9155E4D0F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d9c7994377655925beca167212c6ec3527b954b5","datavalue":{"value":{"entity-type":"item","numeric-id":587084,"id":"Q587084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388436$99A87B26-9813-412A-AA98-8B17042EE231","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388436$19F9B3E0-6977-4712-85E7-DDCD014902A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7138a5cc3285bc79034d6c36a838ebfee311db18","datavalue":{"value":"54H20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388436$CC4CE13F-0A36-4185-97C7-302978686ADE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53b55c630beaf1aaa1f04f2483dc3daa5941ed99","datavalue":{"value":"2204871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388436$77B987C9-E922-4C16-8AA5-8400C02423BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c0c2eac79bee46aee550817d9658f5badf3eff4","datavalue":{"value":"dynamic topological logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2388436$336912A3-D710-4CB5-B537-3B6F75176E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2388436$A616E840-D9A4-4D73-B36B-99E8B56B139E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f1124b1f4453113a28d664ddf4824eea31b856","datavalue":{"value":"Cantor space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2388436$413ED5D4-5C64-42A2-8A47-190D33391865","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":"Q2388436$BD7A732C-6203-46E2-8DEA-0F7CAE019012","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6ee76f3f8ac3520652538e256e7ae4ea2ba84e2","datavalue":{"value":"https://doi.org/10.1007/s00153-005-0285-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2388436$E391828F-FF26-4034-9EB2-032FE022EB3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18e180807c7948ade393834d1137d382b3abaf0c","datavalue":{"value":"W2044928815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388436$12825747-4BD5-4F3E-A319-55E05DDF6A5B","rank":"normal"}],"P223":[{"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":"Q2388436$8529CB5B-9BF8-42C2-AA04-C5CBC5D92EAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd6012e584041dee38f340bc85200a95f8fc753f","datavalue":{"value":"10.1007/S00153-005-0285-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388436$A7942739-F1AC-498D-9EC0-943E612DF50B","rank":"normal"}],"P1643":[{"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":"311f136e37b7c3a429f361310b7bd064f73827e9","datavalue":{"value":{"amount":"+0.8176849484443665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2388436$DFDEF671-CB87-4082-ADDF-8081DAD6F22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0195ee430fb838b1805dcc10a1a23d4d765b431a","datavalue":{"value":{"entity-type":"item","numeric-id":3509059,"id":"Q3509059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"885b67f746f141ba4e5d7ff11d2291d8a0427559","datavalue":{"value":{"amount":"+0.7831169366836548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2388436$02A68F49-1102-4348-A898-DA097B217007","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":"826b52feab622aad8e5b8bde3d55e073921e6a70","datavalue":{"value":{"amount":"+0.7786965370178223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2388436$B0676B00-1532-410C-8EF4-6A9396083D1A","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":"4ae7e1cc13f29b768abaec5e34cf79d792f82d1a","datavalue":{"value":{"amount":"+0.7618942856788635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2388436$6EE525C2-831C-48B3-A0DE-9D26F16A90C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2388436","badges":[]}}}}}