{"entities":{"Q1094406":{"pageid":1105158,"ns":120,"title":"Item:Q1094406","lastrevid":69625482,"modified":"2026-04-13T08:17:33Z","type":"item","id":"Q1094406","labels":{"en":{"language":"en","value":"Modal logics with functional alternative relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4025403"}},"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":"Q1094406$39923E44-6711-47F2-96A8-1F732BB9F9B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b1759d76cd5b7294722d9e731431f78c064a85c","datavalue":{"value":{"text":"Modal logics with functional alternative relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1094406$4624EA4A-3AE3-41FF-AE80-30CDCDDEFE5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abaf666762679a6fc8a5c6940c7698b1c3a2ca06","datavalue":{"value":"0631.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094406$406F0423-3AC8-413F-BBB8-0ABA3A54125F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8907116e2bbe8be1296da2cbc227854582eff71f","datavalue":{"value":{"entity-type":"item","numeric-id":190285,"id":"Q190285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094406$AD78E89E-B677-4561-9667-B259F620E17A","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":"Q1094406$AD651BFA-E8E3-43ED-BFF5-DDAA73D9EFC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1094406$717155D4-B2EF-43F6-8CD8-BBE37C88F827","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7378b5c0f28aead1df4017ef1a6993a12f5ce310","datavalue":{"value":"The main purpose of this paper is to investigate the lattice of extensions of the normal modal logic \\(KD_ c\\), where the schema \\(D_ c\\) is \\(\\diamond A\\supset \\square A\\), the converse of the deontic schema D. D! is the system \\(KDD_ c\\). The author begins with an axiomatic characterization of the normal logics between \\(KD_ c\\) and KD!, which proves to be the sequence of logics \\(KD_ c\\square^ n\\diamond \\top\\). He then proves that every normal extension of \\(KD_ c\\) has the finite model property, from which there emerges a picture of the lattice of normal extensions of KD! as an inverted cone of denumerably many isomorphic slices converging downwards to \\(KD_ c\\) at its apex. Finally, he investigates the quasi-normal extensions of \\(KD_ c\\), i.e. the extensions not closed under necessitation, and proves that there are non- denumerably many of these. By contrast, all extensions of KD! are normal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094406$0838D9FE-D37D-43A3-9355-509AE9488228","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094406$F9B80C78-34AC-46F1-8BBD-580F21BAFBAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d06a89b729d8bb2a9bd82f3263fe39324b533f2","datavalue":{"value":"4025403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094406$D70C9978-B30D-4CEA-BB03-8034C631ADD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8daffd090c21dff0cad89ca408f4d172a989fb56","datavalue":{"value":"lattice of extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094406$637EC1E6-ABF8-428C-8553-8B98DE6B9C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b6d81377bb9fe493e0b31a63d9717069578b5b3","datavalue":{"value":"normal modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094406$973577AD-B5B3-4BB1-B22F-85622E93D872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094406$818452A2-B1EE-487F-B250-EC60A6AAAE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef2783a455bec76d7103fd105917932db6bef589","datavalue":{"value":"lattice of normal extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094406$7FE388D7-DD88-47CC-BCA1-81BCC9E231CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9708661556cbcca0bd11a3d7a71484f043bc57f","datavalue":{"value":"quasi-normal extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094406$461A4CBA-76BD-4A49-B90F-9D16F04A65EA","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":"Q1094406$C5AEF3D1-765E-4C57-BFE0-630C9DA2EBEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c51116bcf923a53eb4780679d374a9baa65df679","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636763","type":"string"},"datatype":"url"},"type":"statement","id":"Q1094406$AB8783AC-4BFF-451A-A2AD-CB21C424F35E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79d8632be29a44fc95772ac3f7f51370b12e853b","datavalue":{"value":"W2000283744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094406$111CBC9B-9956-4067-960B-29DE02F0118B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9efa0c4f755d3e88f8cf84d2c2433432b86ec19d","datavalue":{"value":"10.1305/NDJFL/1093636763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094406$B2B10C87-72C4-4A9C-801C-E8353180D028","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eccdc203ecfffc18cfbef1a113acaf7b2fb4349","datavalue":{"value":{"entity-type":"item","numeric-id":3085170,"id":"Q3085170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d76fd99b0e65a3db0f784a641300d13f2a30ec","datavalue":{"value":{"amount":"+0.924506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094406$7FED7240-1310-4DDF-9242-882B52101F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d196e86d5c9650d1e63fdeff70b7d675f83d3e3","datavalue":{"value":{"entity-type":"item","numeric-id":3762286,"id":"Q3762286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce61b726d31c787c83cad2d3aa6562aaf1275895","datavalue":{"value":{"amount":"+0.92145234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094406$21309D12-CE68-4AF2-AD2A-7912AC4A5B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4e0b7151f8efab8581dcd1755857bf811653322","datavalue":{"value":{"entity-type":"item","numeric-id":3795651,"id":"Q3795651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a7d8315dbca006a96126ca13a49c409dfcc204","datavalue":{"value":{"amount":"+0.917253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094406$7791034F-D872-4199-8DD0-9877D8074EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b28d66123f0140fbe45de70cf71d5fe67b05468","datavalue":{"value":{"entity-type":"item","numeric-id":4011727,"id":"Q4011727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a7d8315dbca006a96126ca13a49c409dfcc204","datavalue":{"value":{"amount":"+0.917253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094406$354D3DDA-F7FE-4DFB-BA9D-67A69DBD8101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b82186a9444265df0b7a4c90b5d876883297e067","datavalue":{"value":{"entity-type":"item","numeric-id":3060980,"id":"Q3060980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a3d2761ea017b4b6a034bf1a3b870472fe5fda6","datavalue":{"value":{"amount":"+0.913101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094406$F3D09806-BCB4-4D81-AE24-47469FC379F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3059353ad622459b4e40bf364e138c1e18a78489","datavalue":{"value":{"entity-type":"item","numeric-id":4632287,"id":"Q4632287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2657f8869efa882e2aeea55b7ebdc57c67570d","datavalue":{"value":{"amount":"+0.91287774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094406$60CBF1F7-3608-41C2-BF79-A2B69BBF4B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"603e7fa814db69e4e837d904344551cfb9f61dec","datavalue":{"value":{"entity-type":"item","numeric-id":1708100,"id":"Q1708100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f5db3cf1efb8dbe298d00bf7ad8939fbdcf63e","datavalue":{"value":{"amount":"+0.9125103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094406$A4416342-5857-47EC-8ADD-268CBF8DC097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e2215e23d5af41d17356d12e7854e82ca460bcc","datavalue":{"value":{"entity-type":"item","numeric-id":1318249,"id":"Q1318249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22fcb525c8814a8025b4ae3a8581253441490129","datavalue":{"value":{"amount":"+0.91049254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094406$8CDCC568-9E0E-4B8D-9D67-D5465C91A052","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":"e3de2dba4f49b3c8f4ebd9c94811b0010503d591","datavalue":{"value":{"amount":"+0.9096878","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094406$FE4539EA-7A6F-45E4-A29B-9B40A9B42B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85cee13b933501a840e0563ffba6f61f83ca0188","datavalue":{"value":{"entity-type":"item","numeric-id":4817192,"id":"Q4817192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d2a27ccfcbaf519f141149a0d2208b70c16983","datavalue":{"value":{"amount":"+0.9096877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094406$23A3AA68-B2BF-4C7D-8D5A-A60634DE28D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal logics with functional alternative relations","badges":[]}}}}}