{"entities":{"Q714709":{"pageid":716558,"ns":120,"title":"Item:Q714709","lastrevid":51573221,"modified":"2026-01-18T20:39:06Z","type":"item","id":"Q714709","labels":{"en":{"language":"en","value":"Dynamic measure logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6092960"}},"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":"Q714709$13685741-7518-43F3-94F2-4094267C5079","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4dd40dbc76bbd78f8506d22a90840daa8f5a0026","datavalue":{"value":{"text":"Dynamic measure logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q714709$CCFCF6F3-011D-4AED-9966-F5E96CB835C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2f3f0021da3f6ca629b074061cfe45fd413622d","datavalue":{"value":"1278.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714709$D267B796-9F9E-473E-99E6-F5BDDE901CCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad7bbf5b29e21d6c8f68ed042dc8216c9cc5564a","datavalue":{"value":{"entity-type":"item","numeric-id":427237,"id":"Q427237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714709$D7FDDFE5-A66A-4344-AC1E-044713C145D0","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":"Q714709$83C77D2A-5B7A-46B4-8B1E-BF8CCA1A01B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"627a9c6691e92dc7a2f0927bf16af5db49918284","datavalue":{"value":{"time":"+2012-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q714709$18422501-62D9-4D82-A897-B9DC0EE21F99","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"caf212ae6a262e53ea7899aab9059021a9a434db","datavalue":{"value":"The axiom system \\(\\mathsf{S4C}\\) for the bimodal dynamic measure logic combines the modal logic \\(\\mathsf{S4}\\) for the \\(\\square\\) operator with the modal logic \\(\\mathsf{KD.alt}\\) for the temporal `next' operator \\(\\bigcirc\\), with the interaction axiom \\({\\bigcirc} \\square \\phi \\rightarrow \\square {\\bigcirc} \\phi\\). It has a standard semantics in terms of Kripke models and accessibility relations, where the relation \\(R\\) for \\(\\square\\) is reflexive and transitive, the relation \\(G\\) for \\(\\bigcirc\\) is a total function and where \\(u R v\\) implies that \\(G(u) R G(v)\\); then \\(\\square\\) is interpreted by \\(R\\) and \\(\\bigcirc\\) by \\(G^{-1}\\). The paper investigates a semantics for \\(\\mathsf{S4C}\\) which replaces Kripke frames by the Lebesgue measure algebra \\(\\mathcal{M}_{[0,1]}^\\lambda\\), where \\([0,1]\\) is the real interval (which is viewed as a topological space). The latter is defined to be the quotient algebra \\(\\mathrm{Borel}([0,1]) / \\mathrm{Null}_\\lambda\\), where \\(\\mathrm{Borel}([0,1])\\), is the collection of Borel subsets of \\([0,1]\\) (which is the smallest \\(\\sigma\\)-algebra containing all open subsets of \\([0,1]\\)), \\(\\mathrm{Null}_\\lambda\\) is a \\(\\sigma\\)-ideal in \\(\\mathrm{Borel}([0,1])\\) and where \\(\\lambda\\) is the Lebesgue measure restricted to the real interval \\([0,1]\\). The completeness proof transforms a Kripke model into the Lebesgue measure algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q714709$C32B2524-C45A-46DB-8097-2B205677DA13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714709$6461C4EC-B417-4C39-AD3F-0D662925C1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b228c9ee3c97685ba8b4fbcb638c637eaa9c7ea","datavalue":{"value":"28A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714709$F41640C9-B03D-4A47-B90A-56202DC4E577","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c7b387937c71bad59d2612d83973a943c66e29f","datavalue":{"value":"6092960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714709$B7F2AB6B-6753-4624-85E7-387927273379","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q714709$EAA4B227-7280-421E-B875-4F4B530B8C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbbcce5d958a0130862ba486d8886f3214101b0c","datavalue":{"value":"S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q714709$86636EF3-DA26-4D9A-8B5B-60016C80DA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q714709$5CB11EDC-3120-44D3-A5FC-0F74D0BDC454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q714709$50A3AF60-4A5F-4B0E-9F33-9B00D233A164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c78731faba245cb7ee59fb59e46225c9504edd7","datavalue":{"value":"measure algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q714709$BFAC9690-EA33-4F4F-BEBD-95D7A0D00072","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":"Q714709$2EEDBA7F-F960-429A-822D-65065A429E01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a02d2673982c90706d008bc4ac286c5caedf7cf7","datavalue":{"value":"https://doi.org/10.1016/j.apal.2012.04.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q714709$8B9727A4-442C-4191-BFA9-07AA60C49725","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66024c61bea5d8f588ac3ba4fced5748cbe112e3","datavalue":{"value":"W2157265548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714709$07319C7C-99BA-427F-A31E-A03AB64389E2","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":"Q714709$562593F2-872C-4D65-8EE5-B18BFE45E803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"735403ba52cef708d66abb17cf481ef6f68acc69","datavalue":{"value":{"entity-type":"item","numeric-id":705542,"id":"Q705542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714709$3761A1DC-F5D6-4D39-8479-9EE15E7586EF","rank":"normal"},{"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":"Q714709$6EA6D122-D9DF-4F01-A520-2628A72592EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d481fbb1e3a1bd14d7acb12b83e08706c7a5b114","datavalue":{"value":{"entity-type":"item","numeric-id":2904049,"id":"Q2904049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714709$E78AB9E7-5C53-482B-ADB5-32192E17BD8B","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":"Q714709$2B8E8E22-1D34-43A9-BA14-DF6801A2A179","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":"Q714709$0CE9634C-353E-44EE-A5B2-63FCFE235FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24af9a90ad42c98cbe0bafe0a0692e1e07b3a550","datavalue":{"value":{"entity-type":"item","numeric-id":5580972,"id":"Q5580972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714709$DD178DB7-FE06-4483-893F-BB39CF91050C","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":"Q714709$C19DFB46-F2E4-47BA-A07D-2D4D61B88786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2f622ad245f6bc9d2441541c3c9a79db05d55a","datavalue":{"value":{"entity-type":"item","numeric-id":3371957,"id":"Q3371957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714709$E5FF6C84-DB84-4B1D-BB22-A831E8C99C27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08582268469049b4f3dbc62f81b98dd42c36ecac","datavalue":{"value":"10.1016/J.APAL.2012.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714709$053DEAF4-7189-4440-8C42-77EF12F3E688","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e119d8c9f2b67c219052fc4ad55dd719a774e5d","datavalue":{"value":{"entity-type":"item","numeric-id":427238,"id":"Q427238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda16f684f1391e8ede9cc1a6bea75663ee44a01","datavalue":{"value":{"amount":"+0.8472367525100708","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":"Q714709$13318AFC-65AB-476B-B52B-32442371DF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d527b5a13e0db7aad41f7d03ad8b97643bb123","datavalue":{"value":{"entity-type":"item","numeric-id":5737960,"id":"Q5737960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bb724c0c7fb400e77e3a6846270c8fb94f8800e","datavalue":{"value":{"amount":"+0.8227706551551819","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":"Q714709$7CA418D1-1974-448F-93E3-B09E3E58E108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b00f56d3ca378d240a9a21841edef2362a5a54","datavalue":{"value":{"entity-type":"item","numeric-id":2904049,"id":"Q2904049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46692f31df5dfb78a9926166bbb816483e889c34","datavalue":{"value":{"amount":"+0.8163635730743408","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":"Q714709$91B47429-1F1B-4BB4-9223-D524CDE22676","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":"2793bbcd2dc8cd82707ee22d69b2e766b3fa8222","datavalue":{"value":{"amount":"+0.8110838532447815","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":"Q714709$924B661B-A525-4505-9A0F-ED6590B73F7D","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":"dc292b5132c4c62e41d2465b294105511d81df53","datavalue":{"value":{"amount":"+0.7987786531448364","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":"Q714709$CD01B784-735C-455E-9182-3339114BCCCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:714709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:714709"}}}}}