{"entities":{"Q1111541":{"pageid":1122290,"ns":120,"title":"Item:Q1111541","lastrevid":69668718,"modified":"2026-04-13T08:35:09Z","type":"item","id":"Q1111541","labels":{"en":{"language":"en","value":"On the lattice of extensions of the modal logics \\(KAlt_ n\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4075024"}},"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":"Q1111541$E5132CB5-A37F-4A96-A2F3-018122C84375","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc35fa483f272f67ef3279e4af9b5655e7e1a94c","datavalue":{"value":{"text":"On the lattice of extensions of the modal logics \\(KAlt_ n\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1111541$87100A72-883E-46CE-9513-29E8B99A4777","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7d834fe4c61ce9e4ec03901c49b7f238912ed27","datavalue":{"value":"0658.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111541$48DAFC28-022A-4583-ACC5-A4104F2B8D0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22458aa7d6cf688c8525973ab4068d198de68895","datavalue":{"value":"10.1007/BF01620760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111541$75E8195A-6A33-42B8-9E8D-037E63C2898C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc667845b69ffe78e87b193c8e67c83a1bc1a138","datavalue":{"value":{"entity-type":"item","numeric-id":190276,"id":"Q190276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111541$5D8E8E24-13C7-402B-BFBE-6C8A43EFCBCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111541$7E215A39-A7A5-4F23-B796-59DA3E89FB10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1111541$A3C9B979-E909-480A-BCAF-46E7E15B0569","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2c05dee4e9076a8b95121ca76dd0886047f83c8f","datavalue":{"value":"In this paper the author concentrates on the lattice of extensions of the logics \\(KAlt_ n\\) originally introduced by K. Segerberg. \\(KAlt_ n\\) is the normal modal propositional logic characterized by the axiom  \\[  Alt_ n=Lp_ 0\\vee L(p_ 0\\to p_ 1)\\vee...\\vee L(p_ 0\\wedge...\\wedge p_{n-1}\\to p_ n),  \\]  and a Kripke frame \\({\\mathbb{F}}=<W,R>\\) is a frame of \\(KAlt_ n\\) iff for each \\(w\\in W\\), \\(| \\{v\\in W:\\) wRv\\(\\}\\) \\(| \\leq n.\\)    In Section 1 it is proved that for each \\(n\\in \\omega\\), each extension of \\(KAlt_ n\\) is Kripke-complete and canonical. This result shows that this semantics is adequate to the study of a class of logics bigger than that of finite logics. In Section 2 there is a complete description of the lattice of modal logics \\(\\Lambda (KAlt_ 1)\\), from which it results that this structure has the following properties: it is denumerable, contains only one pretabular logic, its non-finite logics, all having finite model property (f.m.p.), form a linear order type \\(<\\omega +1,\\geq >.\\) From this last property it follows that, for each n, there exists a logic having exactly n nonlinear extensions. All these properties disappear passing from \\(KAlt_ 1\\) to \\(KAlt_ n\\) when \\(n\\geq 2\\) (Section 3); in fact in \\(\\Lambda (KAlt_ 2)\\) there are a continuum of logics without f.m.p. and infinitely many pretabular logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111541$9AD3263A-B4E3-4C34-8BC0-1F534B87C786","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111541$4D667986-E768-41D4-B842-496A8A5B61B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05c42a05f2973fef924ae1b4bf7ab9080547a5a1","datavalue":{"value":"4075024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111541$AB24FA78-FCDE-4284-B9C0-15B7530FCB2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111541$EF7506AA-738D-47F8-BF28-BF932C7BAF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02b3e46e9fb963e11e84c7d82b9a04ad45c0348b","datavalue":{"value":"normal modal propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111541$F4FF355D-6103-417C-A641-A464E609D923","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a99cc43754442bd871d0e4e19845916a0a9ba924","datavalue":{"value":{"entity-type":"item","numeric-id":1230772,"id":"Q1230772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111541$2DB548AC-1B57-4442-BCBB-5788C657E43F","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":"Q1111541$F230A5B4-32B6-4AA1-952B-1F327F346234","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b2b2b4b4f1a92baf1f6a56d683fcf7f04e7ec66","datavalue":{"value":{"entity-type":"item","numeric-id":3318752,"id":"Q3318752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111541$B04F05FB-C3CC-4F65-98DD-AF88526764C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a93d6dbdf36588b4e734c1070891cad4705c5bd4","datavalue":{"value":{"entity-type":"item","numeric-id":3208624,"id":"Q3208624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111541$AF4C3D51-D2BD-4C83-84B8-188976C9219A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc849784aeacf0747fee5c80d393fa199ab81297","datavalue":{"value":{"entity-type":"item","numeric-id":1150644,"id":"Q1150644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111541$553762D3-D533-47F6-900B-48FCC879F02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eeaf31c8fd9a9de33cf5bc0327064e140d51b7d","datavalue":{"value":{"entity-type":"item","numeric-id":1150599,"id":"Q1150599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111541$0EBF57A5-AD87-454A-B6DC-5B88E84AE1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111541$138D6C14-BB5F-4968-8905-ADA0238B2DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e077e7607e20bb5a3fdafc25ee20d2f189f763a0","datavalue":{"value":{"entity-type":"item","numeric-id":4773678,"id":"Q4773678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111541$A505E3F7-1331-4596-9982-363ADAA19448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a16772c1c01146bd65752e6cd7055c6202def24","datavalue":{"value":{"entity-type":"item","numeric-id":599049,"id":"Q599049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111541$CE735E1E-9B44-4C60-9857-C2078AF4AE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111541$C5EA83E9-32F6-459F-AAA3-A67D486317ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19038258a7562b6a8f42e6af5a536bc569c48595","datavalue":{"value":{"entity-type":"item","numeric-id":1094406,"id":"Q1094406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8262dc7ea7fa23540f8571392ec19049d8ae1dc4","datavalue":{"value":{"amount":"+0.7880510687828064","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":"Q1111541$32E20A68-B8A9-475B-9E1B-7B5A63EA5E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f1b527e9402dbd29ebc79514a510fdc91621e5","datavalue":{"value":{"entity-type":"item","numeric-id":3775519,"id":"Q3775519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f93eb3d2e6b63a2db4e267a04f166c42e0f7b9","datavalue":{"value":{"amount":"+0.7725362777709961","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":"Q1111541$34C8E542-16F8-4330-9DFF-784C8708256E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bba530f85281c17c198e50442a49f6e3189b1a20","datavalue":{"value":{"entity-type":"item","numeric-id":1125058,"id":"Q1125058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7991a03fa57b3d96439b4eaee0a1519dde2055","datavalue":{"value":{"amount":"+0.7623497843742371","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":"Q1111541$8AE3426D-29D3-4395-A9F9-74357E8A6A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f7ae6e9dec47858e9c1ceb6119b4027e7b90fb","datavalue":{"value":{"entity-type":"item","numeric-id":3085168,"id":"Q3085168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf012d5a8169a35fbde7641179d152508b413fe9","datavalue":{"value":{"amount":"+0.7606000900268555","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":"Q1111541$6E8256CC-26E5-4626-BE80-2C26129E47B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"602176a39ad1ad5829183620756797b3a8732975","datavalue":{"value":{"entity-type":"item","numeric-id":3712313,"id":"Q3712313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6933c08e9c4292b699d1ea961338e1f54d935f5","datavalue":{"value":{"amount":"+0.7583740949630737","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":"Q1111541$560C4906-E3D7-4A89-8D18-6A7EC830FF25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the lattice of extensions of the modal logics \\(KAlt n\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_lattice_of_extensions_of_the_modal_logics_%5C(KAlt_n%5C)"}}}}}