{"entities":{"Q1893121":{"pageid":1903863,"ns":120,"title":"Item:Q1893121","lastrevid":71087031,"modified":"2026-04-13T19:23:41Z","type":"item","id":"Q1893121","labels":{"en":{"language":"en","value":"Busy choice sequences refraining formulas and modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 769068"}},"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":"Q1893121$7DD23E50-35AE-4D98-8153-34F47AD4484F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be940016043846ab740223d0a37bebf8a03a3b70","datavalue":{"value":{"text":"Busy choice sequences refraining formulas and modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1893121$F6F4AED0-F63E-4210-A592-059A5C1EDA78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aefd49d3a1b3e300d2de1f3fe07f81341522a27c","datavalue":{"value":"0824.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893121$E4A9459B-BA28-40F3-9233-6E8B419CAC9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ec395ab27f7e83e470e7675cf61a2834ea12b64","datavalue":{"value":"10.1007/BF01053002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893121$F94748C1-7FF3-45CA-A7B6-7D55F54F76B1","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":"Q1893121$C9295EF5-B88A-490A-8279-B9208AC5D99D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893121$B13F371F-E240-41DD-A3B9-F6737A83E1B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"870f54d3b5c36ab024bbe86b2f4a8332983cee6c","datavalue":{"value":{"time":"+1995-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1893121$EB58AADB-3776-4E63-A1FF-CDD36160ABD9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"14a1966b53fe3fd7b0c7921e99809f0973c0641f","datavalue":{"value":"If one thinks of the operator `stit' in stit theory [see \\textit{N. Belnap} and \\textit{M. Perloff}, ``Seeing to it that: a canonical form for agentives'', in H. E. Kyburg jun., R. P. Loui and G. N. Carlson (eds.), Knowledge representation and defeasible reasoning, 169-190 (1990; Zbl 0743.68024)] as a modal operator, we may ask how many distinct modalities there are. The answer depends on the complexity of busy choice sequences (sequences of infinitely many non-vacuous choices made in a finite time) allowed in models. The paper defines a degree of complexity on chains of busy choice sequences, and hence on models, and proves that for all \\(n\\geq 0\\), if the models are those of complexity \\(\\leq n\\) then there are exactly \\(4n+ 10\\) distinct modalities, each of length \\(\\leq n+ 2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893121$4EEB9D13-4CB5-46ED-A65D-CAE80A6C895E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893121$A13D6B78-93A1-450C-8963-211CE337CB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893121$D0F6BE68-C279-47A8-8257-D02C71088FE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80ff0e12246524da7ea07e06867739ddc72b9bfc","datavalue":{"value":"769068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893121$413DCAF1-1822-4546-9E02-8FD4E39C0112","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1712603e5d334bec11d8b4e7be4ca0ece2e0c7de","datavalue":{"value":"number of distinct modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893121$E0F28AC1-F155-4EF7-886E-7029CCC12FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d6d5478f3bdf7477f0fec7146fc9bcacdf8cdb7","datavalue":{"value":"stit theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893121$EBF4966E-1C12-4561-9963-942FF1533262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a241af4d04e728c8699fb89ce1e31dd93560307","datavalue":{"value":"modal operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893121$A98DA208-5C33-45B1-8092-06409781DE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eb094196ec8d9db419c0d0916969046b879a5a5","datavalue":{"value":"complexity of busy choice sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893121$7B4DCBA5-2C14-4F35-A6C7-31DCB4833FC0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a8775a791b699bfd3cf73592d2f327da9f87e5a","datavalue":{"value":{"entity-type":"item","numeric-id":452355,"id":"Q452355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893121$A8F04B5B-4757-420E-B792-1A544BD121A4","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":"Q1893121$1DBFEAFB-DA10-4CFC-9B45-DEFBF16ADB46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8499fa134124d853fcfba1275df4aef32a23c2c2","datavalue":{"value":{"entity-type":"item","numeric-id":1207431,"id":"Q1207431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893121$C11A308E-A028-49F0-8536-0F3CA6B3D99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf81f8783b1c405c66a35d9b410601e61a74f0c","datavalue":{"value":{"entity-type":"item","numeric-id":1353843,"id":"Q1353843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893121$48BF6EB2-7946-4F98-9B59-102B7E7CA0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b3e7554c5b9ad3a018588230332941dd1bfea0","datavalue":{"value":{"entity-type":"item","numeric-id":1207433,"id":"Q1207433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893121$C5B1FC38-1266-47D5-AF86-95D009E9349D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec842f244293bbf8375f7e382cf748a52233713","datavalue":{"value":{"entity-type":"item","numeric-id":5567827,"id":"Q5567827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893121$782CFCAD-CA40-4EA7-AD3D-A0BC54FEAF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0bcfdc9afb1ebcba4e63340e62de13d12be617c","datavalue":{"value":{"entity-type":"item","numeric-id":5776903,"id":"Q5776903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893121$1BBDF14B-4CF2-4E14-8936-8F7162CC1618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1dc09cfac49f6e8dfd3eb299ae3a7ac46b815c","datavalue":{"value":{"entity-type":"item","numeric-id":1207426,"id":"Q1207426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893121$2DFE86A4-206F-459D-A79C-6EC9431EC11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7149b5c6ff43b6cd0d6c5f6709ff45f6ee1452ed","datavalue":{"value":{"entity-type":"item","numeric-id":4342095,"id":"Q4342095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893121$646C0613-690C-47C7-9EC3-FEC6D4B5F67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96eb977b973e44d25ea6b7456c27c68084688071","datavalue":{"value":{"entity-type":"item","numeric-id":1337507,"id":"Q1337507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893121$A36B60E2-84B4-44AA-94AD-47506981E91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1157c934850e1d675264a7fb14fa2da38162aa5","datavalue":{"value":{"entity-type":"item","numeric-id":1327485,"id":"Q1327485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893121$76673B40-AC22-4F78-A0C1-40780B51635B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"271534a500de444f5d25d8b82d8fe76ae0797c28","datavalue":{"value":"https://doi.org/10.1007/bf01053002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1893121$8FF3506F-147A-41AF-99E8-26A077D1AF77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35914d547cf9d6c181a123bab02fd780d4643d0a","datavalue":{"value":"W1975261548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893121$F894D125-1EE3-4917-8F30-9C0C989ECD9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b78a2877735f32e62be5e223ed2da5d32d0eaaf","datavalue":{"value":{"entity-type":"item","numeric-id":4842624,"id":"Q4842624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd6df93417a3693cbdd3da2d5b44af57a9dfb74","datavalue":{"value":{"amount":"+0.739131510257721","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":"Q1893121$1192FFE6-CD88-459F-905E-0F30D8E8D8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d4e941c5fd7f512f8c001285808dd63c3a35ed2","datavalue":{"value":{"entity-type":"item","numeric-id":1327485,"id":"Q1327485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ea349aa1236885ff150459b8836a20a008a942","datavalue":{"value":{"amount":"+0.7116926908493042","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":"Q1893121$08D7F488-5187-440E-8652-8AED724F1C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f2b2189649e373a901cdc67140524a397733b0c","datavalue":{"value":{"entity-type":"item","numeric-id":939059,"id":"Q939059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f434c59a19c8cab61628829bfd2da60e073e97f","datavalue":{"value":{"amount":"+0.7066506147384644","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":"Q1893121$DC0A174F-5BCB-446A-85DD-8CE961B1ACAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Busy choice sequences refraining formulas and modalities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Busy_choice_sequences_refraining_formulas_and_modalities"}}}}}