{"entities":{"Q691130":{"pageid":692979,"ns":120,"title":"Item:Q691130","lastrevid":63755955,"modified":"2026-04-11T15:20:18Z","type":"item","id":"Q691130","labels":{"en":{"language":"en","value":"Denumerably many Post-complete normal modal logics with propositional constants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6111350"}},"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":"Q691130$2437646D-4D21-4559-A321-727F29B8D9E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89c6ca84c3db09a8baef1b5dcbb304bb7afff7d6","datavalue":{"value":{"text":"Denumerably many Post-complete normal modal logics with propositional constants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q691130$C90364E5-E0E7-4CA5-85B0-D27AA14220C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cf612df83e9e10db9caee0dfa24cc0fc0da1218","datavalue":{"value":"1263.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q691130$EBC22167-8F0F-4772-B1B2-CEAABD16A687","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a11deee4291a867aa2fd20d148188b63c6a79b93","datavalue":{"value":"10.1215/00294527-1722746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q691130$D8217011-B99F-4BB5-A213-932C293B2826","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"719079c623455cd940169de10b8d7a74a4ee48ce","datavalue":{"value":{"entity-type":"item","numeric-id":302241,"id":"Q302241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691130$6A926F6F-F162-41F0-A42D-E86509BD4E5A","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":"Q691130$09B83A80-FCC5-4BA0-A33C-D2E079B5E095","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd1dd78b610951b080ce7917880823f8267fcfa0","datavalue":{"value":{"time":"+2012-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q691130$00A8AAAD-FFAF-4983-B772-8F7CAE64435B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7ac38c02d0064000e3a610fe7cc09807048023f","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1352383231","type":"string"},"datatype":"url"},"type":"statement","id":"Q691130$7FC34892-D7D3-448C-991E-9C0F025E3D33","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1e5287f92bf50b8ea704b3d30dae0a8b5120b71b","datavalue":{"value":"This short paper provides further evidence for the fact that the phenomenon of Post-completeness is quite sensitive to the changes in the language. A logic is Post-complete if it is consistent and has no proper consistent extension. It is well known that in the lattice of monomodal normal logics there are only two Post-complete logics. On the other hand, Williamson proved that in the lattice of bimodal normal logics we have a continuum of such logics. Here, the author investigates monomodal normal logics but with additional propositional constant \\(\\kappa \\).     Specifically, he considers the logics of point-generated frames \\(L_n = \\langle W_n, R_n, C_n \\rangle\\), where \\(W_n := \\{0, 1, ..., n, n+1\\}\\), \\(R_n := \\{\\langle n+1, 0\\rangle\\}\\cup \\{\\langle i, j\\rangle : j =i+1\\}\\) and \\(C_n := \\{0\\}\\). \\(C_n\\) is a special parameter introduced for valuation \\(\\kappa \\), i.e., \\(\\kappa \\) holds in \\(w\\) iff \\(w\\in C_n\\). It is shown that every such frame defines a different Post-complete logic, hence we have at least denumerably many Post-complete monomodal logics in the language with \\(\\kappa \\) all being extensions of \\textbf{KD!}. Finally, it is noted that this result may be strengthened to the effect that there is a continuum of Post-complete modal logics in the language with \\(\\kappa \\). This was independently reported to the author by R. Goldblatt, T. Kowalski and the anonymous referee.","type":"string"},"datatype":"string"},"type":"statement","id":"Q691130$6D0AF2B1-95BB-4041-8E63-5AE746568E19","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2e7f704932fd75b813eb7e18ce6ce9f1d9ea52bf","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691130$CC3A9CB5-CE29-4D45-8348-D3CBA9D7FEBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q691130$15DAD64B-8FCE-4913-9687-9E7E4AC074F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e96694ea28df8b2430d281e58dc5f07e208d67b0","datavalue":{"value":"6111350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q691130$87074168-0160-44D3-8666-DA44934DC5E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q691130$5049C92E-7E87-491D-89D0-B2234CF221F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f45788ba750dad25ca426282795df4287eb5784a","datavalue":{"value":"Post-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q691130$CF71CD28-FCEA-47CE-BBBE-3193645C7CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b391abc95b7bb69bcf140fec10b38e0c3462f7db","datavalue":{"value":"propositional constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q691130$907F02A6-77D0-401E-934D-AA0575156184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca2ab3fd204179d080652a2c0001f5ffd70630a","datavalue":{"value":"logics of point-generated frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q691130$F8C7A780-AF50-429A-B7E5-015EDEB2CC57","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":"Q691130$7A776460-6ADA-4F74-BCC2-51B1390EAB10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0678ac6190a76c644336e9c921593b4a82b662e","datavalue":{"value":"W2039870841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q691130$C1870E0D-B595-4224-BC69-CF2438A1019F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691130$22ECDE4A-0248-4323-AB51-CE8EEA120F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55c71c92ca6934e99bf347345b49ebcd38d03fd7","datavalue":{"value":{"entity-type":"item","numeric-id":3160548,"id":"Q3160548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691130$F7DEC863-2245-4358-93BC-3C888C8AF6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a3d273b8848654d604bf96de99d61a843c4c67b","datavalue":{"value":{"entity-type":"item","numeric-id":3669374,"id":"Q3669374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691130$8530184E-B50D-4824-A270-874BF9619DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"debc7440bbe4aa81f991266ff8ce44045520e424","datavalue":{"value":{"entity-type":"item","numeric-id":1234292,"id":"Q1234292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691130$CACA327E-AEC3-434E-8F47-3787A2E7DCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d6d58ab28e492c8957204e61152459e0f40099a","datavalue":{"value":{"entity-type":"item","numeric-id":4052078,"id":"Q4052078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691130$117D811C-01D8-4041-AE8A-44403402D0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79bdd215ffef2244bcfc5729e7928cc7128f5942","datavalue":{"value":{"entity-type":"item","numeric-id":5684643,"id":"Q5684643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691130$CA294473-9672-49EE-BD61-6D7A171677EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2f25b146963e8b57aea6cebc8e04258a28778d","datavalue":{"value":{"entity-type":"item","numeric-id":4097255,"id":"Q4097255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691130$B29195FF-7A20-44B9-9DCC-50082301866B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc67208c73fac38299087bc75c21fd4150015257","datavalue":{"value":{"entity-type":"item","numeric-id":5937810,"id":"Q5937810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691130$ADD6F226-68A9-4522-8CFD-756EB4B40AAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c72085d428c1c44e82c7b8fa2fb44ee79e381b","datavalue":{"value":{"entity-type":"item","numeric-id":920977,"id":"Q920977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a18ba2926c7fb142165a7e38f4bb8f548d6d12ab","datavalue":{"value":{"amount":"+0.8595408797264099","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":"Q691130$E57EE7DC-813E-4663-AAFF-BBD64E963C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee03e8a044a6e8ed1f625de41f70519c2204a530","datavalue":{"value":{"entity-type":"item","numeric-id":742479,"id":"Q742479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b45744246171402becd0d9c5738af85242081c","datavalue":{"value":{"amount":"+0.8562823534011841","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":"Q691130$F103F615-E550-4A71-8E12-502FD3792AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e38d31935020d3edc6db741dac760e744d74275","datavalue":{"value":{"entity-type":"item","numeric-id":4636040,"id":"Q4636040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa4a0e3124c31ae5d1832efa01d48587d3d836c","datavalue":{"value":{"amount":"+0.8247960209846497","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":"Q691130$C90B888B-0119-48D7-B628-44C8FFD0FF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab9ef6938548bd3d1b64e0a6b929e990f2bbe8c0","datavalue":{"value":{"entity-type":"item","numeric-id":4789045,"id":"Q4789045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6e0d2922c3969019fe11ebc4c2b59fb7f00d29","datavalue":{"value":{"amount":"+0.7730516791343689","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":"Q691130$B0BF7050-770F-41CD-AF22-4851BD543EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011b137bee5b3b8bf6e38e5df65419f1d788bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6e0d2922c3969019fe11ebc4c2b59fb7f00d29","datavalue":{"value":{"amount":"+0.7730516791343689","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":"Q691130$664CEDCA-ADA9-4A64-8EB4-3EB56D75D5FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Denumerably many Post-complete normal modal logics with propositional constants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Denumerably_many_Post-complete_normal_modal_logics_with_propositional_constants"}}}}}