{"entities":{"Q1097872":{"pageid":1108624,"ns":120,"title":"Item:Q1097872","lastrevid":70305615,"modified":"2026-04-13T13:52:29Z","type":"item","id":"Q1097872","labels":{"en":{"language":"en","value":"The modal logic of `all and only'"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4035780"}},"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":"Q1097872$7EB82694-1B2F-450D-BB8E-618A7F1118BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f39c3e3b6c819ec86bd752c5b0b99e8f2cb5e802","datavalue":{"value":{"text":"The modal logic of `all and only'","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1097872$7FD9CA99-A462-4E02-8280-B1C84005376C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9293e0f5c55630d85b071fabb3023b9de94b8dab","datavalue":{"value":"0636.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097872$00915713-398D-4A10-85EC-A7E297D8AF98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc259a89ecb75465fbb96327997d8a01dc78b6ca","datavalue":{"value":{"entity-type":"item","numeric-id":1097871,"id":"Q1097871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097872$1DA50996-4E11-4BE3-A8AF-04F0FBA86B09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097872$93450674-7D7E-47C4-8067-F0B70EF7C6A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1097872$23E2FFDB-B94B-4AE1-9D99-82D1FF8D3883","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"da0821a9abd3857861da133606411a31eeba7994","datavalue":{"value":"A statement \\(\\square A\\) expresses all-necessity if \\(\\square A\\) is true in a world x iff A is true in all worlds y such that xRy. \\(\\square A\\) expresses only-necessity, however, if \\(\\square A\\) is true in x iff A is true only in worlds y such that xRy, i.e. for all worlds y, if A is true in y, then xRy. The weakest system of all-necessity is K; the weakest system of only-necessity is anti-K (in which the K rule: if \\(\\vdash A_ 1\\&...\\&A_ n\\supset B\\), then \\(\\vdash \\square A_ 1\\&...\\&\\square A_ n\\supset \\square B\\), is replaced by: if \\(\\vdash A\\supset B_ 1\\vee...\\vee B_ n\\), then \\(\\vdash \\square B_ 1\\&...\\&\\square B_ n\\supset \\square A)\\). What then is the weakest system for all-\\&-only necessity, whereby \\(\\square A\\) is true in x iff A is true in all and only worlds y such that xRy, i.e. A is true in y if and only if xRy ? That system is defined here, and shown to be sound and complete. The axioms and rules, however, prove to be much more complicated than one might at first expect.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097872$979F10E2-45CA-4D0D-B9A2-2321D082E6DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097872$8EAD0493-40C9-41D8-B3A4-656801FD2E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097872$42D88B53-05D1-450D-9E6A-F4E30953AEA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2c9874c07a129d9511c8dc8dcc3e52ac6dc55b6","datavalue":{"value":"4035780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097872$DEC64EC8-4038-428D-932F-5590B01453CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097872$91AE91C2-6734-4063-961C-330A258E3F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b04e2311f90e12615f55089e119431ffaaac1ac1","datavalue":{"value":"all-necessity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097872$5D11A361-9026-4FE3-BC95-AF0DC5BFDAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8620e5471946faf8c844e3381a792e680d4a692b","datavalue":{"value":"only-necessity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097872$11065389-00B4-4E92-ADD1-5FDE95683626","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097872$8101CC73-AEE5-45B4-9271-758FDD2160EB","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":"Q1097872$A9EE026C-3C79-49C0-AA2B-C94A88C68D66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"711ed5ad161eecb3c4453c9087ab6b477271f282","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636937","type":"string"},"datatype":"url"},"type":"statement","id":"Q1097872$46920D47-E4B3-4000-822F-9708BFCBC175","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd754d3574bd3e1481274c00044b75cd07177e7c","datavalue":{"value":"W2099236069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097872$EE70727E-B35F-4DAB-BDF3-3E48F51E9E46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1be47cc0e5993d42707ba97cb5973e1c80e3e9cd","datavalue":{"value":"10.1305/NDJFL/1093636937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097872$5C48C5D4-CA65-43CB-A868-1469D0CDB864","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8642e206903e64cb270966bd937b198fa52af7a5","datavalue":{"value":{"entity-type":"item","numeric-id":3676118,"id":"Q3676118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38f5e602f43ada0eaca32d89e2900957d8ca2490","datavalue":{"value":{"amount":"+0.764359176158905","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":"Q1097872$06F779C4-D294-490B-A184-AEC4721E6276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"922a3a9f28cf86678f81064d6f1e9128ae1236af","datavalue":{"value":{"entity-type":"item","numeric-id":5039202,"id":"Q5039202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a4ed86687c99962029bde483132c789ed8a85b","datavalue":{"value":{"amount":"+0.7491676211357117","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":"Q1097872$539BB2C5-E4F3-49CC-8FA9-3FB0245C3D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e53f8e89a5a6a61c5fa7c3d9b542dd2dc3f72215","datavalue":{"value":{"entity-type":"item","numeric-id":3320342,"id":"Q3320342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b18fe97e5422aebaaf2312266b8b90005d26b286","datavalue":{"value":{"amount":"+0.7430784702301025","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":"Q1097872$044DCADD-9FEF-4A4B-BA99-7C38711D8C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0b0ce6ef3bb346ac15cbb17532a398c57a7108","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10855dc256ff18944c2e6f215a40a6872610461","datavalue":{"value":{"amount":"+0.741243302822113","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":"Q1097872$9D3457C6-44C4-445D-A426-53B928403E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d64e01b9eed7f26d06c4aeb6ff1a45e88713e31","datavalue":{"value":{"entity-type":"item","numeric-id":4303543,"id":"Q4303543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10855dc256ff18944c2e6f215a40a6872610461","datavalue":{"value":{"amount":"+0.741243302822113","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":"Q1097872$6F961702-53CF-44FF-934F-745C3513DE02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The modal logic of `all and only'","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_modal_logic_of_%60all_and_only%27"}}}}}