{"entities":{"Q1314278":{"pageid":1325028,"ns":120,"title":"Item:Q1314278","lastrevid":68437428,"modified":"2026-04-12T23:42:02Z","type":"item","id":"Q1314278","labels":{"en":{"language":"en","value":"Sequence semantics for dynamic predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 501102"}},"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":"Q1314278$717E45D3-803C-410F-A26E-45768BFA8801","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af0a9999e2a5f79df04f8f88c43364dd3ad01a25","datavalue":{"value":{"text":"Sequence semantics for dynamic predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314278$2286C529-AF53-4419-B57C-E3BE4F8B8504","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad42a8e9447a04ecb2ab59793b0918c2a414b476","datavalue":{"value":"0802.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314278$82460BC3-F383-4AFB-A08B-F3470E6AD6C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffb3a2a701e36f6d1df4ff216c2f7e5cbf267a76","datavalue":{"value":"10.1007/BF01050788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314278$E620BBB8-E151-469F-B332-4ECF587FA86F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d71028940640a6a2420f9b3620d27524571df3b5","datavalue":{"value":{"entity-type":"item","numeric-id":1314277,"id":"Q1314277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314278$FBB2C321-6519-4434-A982-000B6AAACA08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314278$C6658985-E754-413D-AFE9-ABEA70B24669","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"031c5d066bfbf994f645c207439d2003ce1ed02e","datavalue":{"value":{"time":"+1994-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1314278$5A36F006-6EC9-4ABB-9187-9EF826E56C5A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a634134d1e469bede5bf46ec73457bf67ff2dc83","datavalue":{"value":"Dynamic predicate logic provides a synthesis of the insights of discourse representation theory and the elegant formalism of predicate logic. In the paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments. This semantics is compared with the usual relational semantics for dynamic predicate logic; it is shown that the most important intuitions of the usual semantics are preserved. Then it is shown that the refined semantics reflects intuitions about information growth. Some other issues in dynamic semantics are formulated and discussed in terms of the new sequence semantics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314278$A3D18A98-FCB1-4B1C-870E-21AB300322F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314278$7D350A67-0F58-421A-BD2C-8AB14466B787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314278$177231F4-FE89-4C7B-BB7C-D52E7E308438","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23bc4d1ebf18da27af142f20ec4fb6f3b526509f","datavalue":{"value":"501102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314278$0925CD22-0D74-48AD-9038-BF270C6CC96F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314278$55D36199-9586-4EFC-80B7-EFF6081E6CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75c1664348950db4a80cea30a32e071f6fb36fe8","datavalue":{"value":"discourse analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314278$3E0FA115-4423-488D-8C31-2B376058AE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1922845b6ae8422abaf5e7e66bf157d86fb57244","datavalue":{"value":"dynamic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314278$A45A1DC2-B308-4D6C-AF44-DE41D4F7D453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d18d275f73d53eb7f3dee56adc1561f0784f8ddd","datavalue":{"value":"discourse representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314278$6E46A5D7-CD47-4308-B17F-B23143802FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314278$AEB9B869-8955-4206-940A-694A33F80110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b042367a61fee3f8fa02d5549c188c1a290216d","datavalue":{"value":"sequence valued assignments","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314278$53ED6AAB-0122-4DB1-8BD5-30B3BCC22E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6448883fc5f729e19cca9c65cdeeae6dcbfa06db","datavalue":{"value":"information growth","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314278$7646B4F0-A2D8-4F4A-93B9-4589654B719B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"25306ed43a658ea19c64035347a11c5c173761c0","datavalue":{"value":{"entity-type":"item","numeric-id":282093,"id":"Q282093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314278$4A7484ED-BB61-4B90-B630-6E5FFBB859E7","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":"Q1314278$0E69BB47-33D0-4C22-997C-CC8B02E4CC32","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d34508a257e332753735a66b4c892d49e07ec88","datavalue":{"value":{"entity-type":"item","numeric-id":3469091,"id":"Q3469091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314278$E7B66502-B712-4055-8B8D-75C5F855A8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a47dbfcd2847e36f925f39f3032cef339b755e46","datavalue":{"value":{"entity-type":"item","numeric-id":3986890,"id":"Q3986890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314278$1E36ECF7-5776-45AA-8944-F3C523C973DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2dfd1e259262179d91ec21c2adc91e97790347","datavalue":{"value":{"entity-type":"item","numeric-id":5202997,"id":"Q5202997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314278$EF743416-2B67-4886-8436-5BB4018F3167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43ca84f7aa53b5e71e8f370677fd5783a21ad679","datavalue":{"value":{"entity-type":"item","numeric-id":4287487,"id":"Q4287487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314278$1D0AF2F4-FAD0-4C28-8A9C-B19F7205FA54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bafe107dce66c09bd1ca102f830354093fd765f","datavalue":{"value":{"entity-type":"item","numeric-id":5202997,"id":"Q5202997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b2b09e5a030198cf437b600ebfb872240c0350","datavalue":{"value":{"amount":"+0.8298620581626892","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":"Q1314278$9959EACB-3E3C-4092-9DCD-90E3FE0FA5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74cd56ff519efd6ec68125d5a95878bd66eea563","datavalue":{"value":{"entity-type":"item","numeric-id":4287487,"id":"Q4287487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1dee76218d6a9152223b0f70f224fc847eb7f10","datavalue":{"value":{"amount":"+0.7986399531364441","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":"Q1314278$E2FA05C0-75CC-4026-B7E8-98C0146DEE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3976fb038fb34511f9aef92336174165bd3e5db0","datavalue":{"value":{"entity-type":"item","numeric-id":1384001,"id":"Q1384001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041e4d34d4a328898743b84faec9ce00d3ac2571","datavalue":{"value":{"amount":"+0.7835351824760437","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":"Q1314278$6EC478F2-C26B-4879-85FE-323AB1A8A512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db28630bbc0ddd77806980b6721317862896fa1","datavalue":{"value":{"entity-type":"item","numeric-id":435156,"id":"Q435156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06900052fed24f4d68fcb7e2c1551b378fbccd0","datavalue":{"value":{"amount":"+0.7799015045166016","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":"Q1314278$569881E7-3AF4-4C7D-82F2-F16D8497B313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc875e8d5183199c8cc5e766a48a1f8abc4ffac","datavalue":{"value":{"entity-type":"item","numeric-id":2255197,"id":"Q2255197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"568e99c31ef917657d009ed2eec70471f52b882c","datavalue":{"value":{"amount":"+0.770880937576294","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":"Q1314278$99118CDC-7604-46B1-8367-4ADA39F2CDFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequence semantics for dynamic predicate logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sequence_semantics_for_dynamic_predicate_logic"}}}}}