{"entities":{"Q705534":{"pageid":707383,"ns":120,"title":"Item:Q705534","lastrevid":63668589,"modified":"2026-04-11T14:44:16Z","type":"item","id":"Q705534","labels":{"en":{"language":"en","value":"Dynamic topological logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2131594"}},"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":"Q705534$27DB3192-2FF1-4203-A0AA-9E1BBB3EFCF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c68276837921edf295215240e1ae4fd49f58d50","datavalue":{"value":{"text":"Dynamic topological logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q705534$C284256C-75D7-4412-B628-B50AAEE38429","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c848dc0fea080f773f260adc9379ab7c03cdf57a","datavalue":{"value":"1067.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705534$98853F17-D6BD-4835-9901-E6AFC77E9BB6","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":"Q705534$C3336FC8-479B-4BBF-8E70-D5D5DDC124DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705534$F6BB9B7B-0B91-49A2-AB83-C695AB96497F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705534$4B44D442-2F79-4FE5-B43C-7DFDAD7A194E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a8a233f543dd709165488f1586caeaa25d93c0f","datavalue":{"value":{"time":"+2005-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q705534$919F904C-A782-4226-B8B1-B6F25C35B378","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ede1eb5a543cb16f6d026fea3be3bbe97986d02b","datavalue":{"value":"Three important research areas meet together in the abstract framework of dynamic topological logic (DTL): the topological semantics for S4, topological dynamics, and temporal logic. It is known that S4 can be understood as the logic of topological spaces, and \\(\\square\\) can be understood as a topological modality (with the meaning of the topological interior). Thus, the topological semantics for S4 is based on topological spaces rather than Kripke frames. On the other hand, topological dynamics studies the asymptotic properties of continuous maps on topological spaces. A dynamic topological system is a topological space \\(X\\) together with a continuous function \\(f\\) which can be thought of in temporal terms as moving the points of the topological space.  Dynamic topological logics are the logics of dynamic topological systems, just as S4 is the logic of topological spaces, and are defined for a trimodal language with an S4-ish topological modality, and two temporal modalities (`next' and `henceforth') both interpreted using the continuous function \\(f\\). In particular, `next' expresses \\(f\\)'s action on \\(X\\) from one moment to the next, and `henceforth' expresses the asymptotic behaviour of \\(f\\).  The authors introduce the dynamic topological analogues of Kripke models, the dynamic Alexandrov models, in order to set a precise definition of dynamic topological model; then, a semantic definition of the dynamic topological logic generated by a class \\(\\mathcal{T}\\) of topological spaces and/or a class \\(\\mathcal{F}\\) of continuous functions. Later, several specific DTLs are considered, presenting their properties and axiomatizing some of their next-interior fragments. Finally, a sound and complete axiomatization of a DTL is given in a particular trimodal fragment of the language in which the temporal modalities cannot occur in the scope of a topological modality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q705534$6B6D0086-0B17-43A9-9A92-DD1C583A8D5A","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":"Q705534$65E6BDEA-2EA0-4E96-BE62-90E15F07986D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705534$DB7D82DE-E768-42ED-A897-62610596DC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705534$898EF8B2-825E-45B8-9027-99E42EBF844A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7138a5cc3285bc79034d6c36a838ebfee311db18","datavalue":{"value":"54H20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705534$4C6B261E-A96D-4988-9841-967D883E7C38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77fa88cbce639a798316cdd432878b562fa6691f","datavalue":{"value":"2131594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705534$C2593C80-868F-4891-AE92-581EB24ACB0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q705534$7CCEB138-E0D8-4F55-9EBE-2A982D8AAC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q705534$E8AB0900-72A0-4D55-892F-01596B19C1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q705534$F9566320-2A7C-4815-97BD-1B54235FF59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edb41c6196cbbb5c8e3861e9de33d3aacd50fffa","datavalue":{"value":"topological dynamics","type":"string"},"datatype":"string"},"type":"statement","id":"Q705534$25463736-D9BF-4CAA-BF70-A29F837DC6AB","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":"Q705534$3EF4F60D-BEDC-4580-A1A8-314B1DB2FB35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78b360c716cbb0525194a98218ec6e313d8f8567","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.06.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q705534$3A3FDE5C-E815-43F4-9D36-9001AE09F361","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fcc2cf0c27a89f98612b011f95fbec40ce214f","datavalue":{"value":"W1998261607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705534$FED3B0AC-D3E4-494A-93BF-FB3043B4B2E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fdb93aa40a2b71a7cdb6159d56df01f935ced2a","datavalue":{"value":{"entity-type":"item","numeric-id":4812319,"id":"Q4812319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705534$FEC06AF4-BBA0-4410-B57A-2A7313B565FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6f7efd62593c4eb6945f3c1d1cc0a4ff4066b66","datavalue":{"value":{"entity-type":"item","numeric-id":5767704,"id":"Q5767704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705534$0CDB8DEA-E26D-463A-8011-52B94C1EC3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b00a92b4e0f4a6f2c10346ae58f94938b1b4077","datavalue":{"value":{"entity-type":"item","numeric-id":5522002,"id":"Q5522002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705534$E1B05C74-0BD2-4AE8-82CC-ED1FED538FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472a0ae6d0d60b375a55d867df1f0d57c07d82c8","datavalue":{"value":{"entity-type":"item","numeric-id":4100724,"id":"Q4100724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705534$A47DAB16-46FB-4ED9-A1C7-D6B69F727BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b37799c9e26baae0b2b93f30775072f585b68c","datavalue":{"value":{"entity-type":"item","numeric-id":3909268,"id":"Q3909268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705534$78BE81BF-C4C6-4708-9697-533760C41D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ff905de4b45d5bef1d855c1b9b65a081c21a46","datavalue":{"value":{"entity-type":"item","numeric-id":865049,"id":"Q865049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705534$19301D95-DBC3-446A-AC79-FC87A0F05BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12ce99e75f00697efa1f5f9afd862b773370cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1147690,"id":"Q1147690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705534$7395AB84-DDEE-48F8-9598-2A861C250AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705534$26D59149-6FAE-407B-8274-70013E342CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45c73db8b3c2a0a30e7c3eaaca382d1ea005a940","datavalue":{"value":{"entity-type":"item","numeric-id":3677141,"id":"Q3677141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705534$14026B32-0FC8-434A-8EF9-D55C73C47A64","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":"Q705534$DCE87334-5B43-40C9-9385-3A567EB564DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4d447836767d2033d19a0e5f8d1aff913ef8009","datavalue":{"value":{"entity-type":"item","numeric-id":1772779,"id":"Q1772779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705534$297A617E-CE70-48E5-AB28-D600D2E015CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705534$58F850BE-3E8F-45BF-95B0-89EB268AA2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705534$E13A5D40-7B6B-4C06-8645-201DF2F3042A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb52d56f03211337e38aa0c167bed205fee5439","datavalue":{"value":{"entity-type":"item","numeric-id":1232279,"id":"Q1232279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705534$B127B8A3-3484-4D58-8559-937AF8DD24C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe843425a5d09234ea62c137b06e2653d39961de","datavalue":{"value":{"entity-type":"item","numeric-id":3734375,"id":"Q3734375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705534$3D18ECC3-67AC-4F7D-82B2-6B7E0D1BCE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eee827aff0165533cd914f7395094c7d3915d55","datavalue":{"value":{"entity-type":"item","numeric-id":5771194,"id":"Q5771194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705534$242129B9-F959-4B7B-A3E7-B4306095FBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5b9564b979a9d0175ba3c8db086470676cce61b","datavalue":{"value":{"entity-type":"item","numeric-id":3931654,"id":"Q3931654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705534$D34A9220-4C62-4219-8832-478E25CA2DF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1873ae40c8f1483732c87812e99858d179d0d251","datavalue":{"value":"10.1016/J.APAL.2004.06.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705534$881D3413-13C5-49AD-8D75-DE74812C7FA0","rank":"normal"}],"P1643":[{"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":"a3ab72062f40965b8e88e7c385c8c6d6d5916178","datavalue":{"value":{"amount":"+0.909945547580719","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":"Q705534$7883263D-B088-4D8A-AB8E-7FA60627BBEF","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":"bb9db2554c0e4b010260de3997a40f926b0b2474","datavalue":{"value":{"amount":"+0.8560018539428711","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":"Q705534$F3F98D81-B3B6-4B6C-B6D3-4E6BAA144EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ac3364b1c38ae20b2a5d2e02cd59611f91fca6","datavalue":{"value":{"entity-type":"item","numeric-id":766293,"id":"Q766293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"436c99002e0319e4675cb25f34f8cdc0ad179cb7","datavalue":{"value":{"amount":"+0.8508715629577637","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":"Q705534$E55EFA70-69FD-4C83-95BB-78FC133B9839","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":"925e72c19c846415405c8b02f0ac3d21de4f1ac0","datavalue":{"value":{"amount":"+0.8488650321960449","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":"Q705534$2A83F826-D9B6-4119-91CD-8128EE49BECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aef024ea8e68fab9eda9d7ed26be94ece1b717aa","datavalue":{"value":{"entity-type":"item","numeric-id":1006607,"id":"Q1006607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"316abce7213b61b08ab929fa3ab30df11f3a6461","datavalue":{"value":{"amount":"+0.8456745147705078","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":"Q705534$498FA6FF-3473-4B5C-A651-5FA5E83A9D92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic topological logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dynamic_topological_logic"}}}}}