{"entities":{"Q761441":{"pageid":763290,"ns":120,"title":"Item:Q761441","lastrevid":42681058,"modified":"2025-07-08T10:34:18Z","type":"item","id":"Q761441","labels":{"en":{"language":"en","value":"Conjunctive normal forms and weak modal logics without the axiom of necessity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3885867"}},"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":"Q761441$BF2E9B59-98DF-41F5-AAD1-1126AAD56849","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c240a9ec818550ef3ae53fd0a20b6d0fa958ff04","datavalue":{"value":{"text":"Conjunctive normal forms and weak modal logics without the axiom of necessity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q761441$9317A718-8933-4773-9663-04B871486D87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81e1bbb40bbbebc3674750fc1f66fe8a39811fae","datavalue":{"value":"0556.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761441$C8B2375B-006F-48E6-8715-1130EE150ACC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f546af23abd448e07d4433a7fbb40d0193bb4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":761440,"id":"Q761440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761441$A781C8AD-501A-40B9-B9DE-32BDFACDC5F9","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":"Q761441$CAC2BABC-4883-467D-AF14-7BBF9CA87F3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q761441$EF129F8B-184E-4601-9CF0-1469E9DD7DBE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1596e15bf4b901cb278d5082bc89995ab2883277","datavalue":{"value":"The completeness of modal logic S5 follows easily from the fact that any formula in S5 can be reduced to conjunctive normal form of degree 1. This method is extended in this paper to prove completeness for various weak modal logics without the axiom of necessity. Twenty modal logics are dealt with here. Definitions of these logics are given in Section 1, definitions and characterizations of L-tautologies in Section 2, proofs of completeness in Section 3, and applications in Section 4.","type":"string"},"datatype":"string"},"type":"statement","id":"Q761441$DD4EF977-7665-4B54-B671-FCD770D9848E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761441$FDFFF58C-6AC1-46D4-B344-B654CD6C293A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5ae32bf678796f3b9fb665eefa49db4e43bb714","datavalue":{"value":"3885867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761441$9E83BFAF-FFFC-447C-8E06-870290857107","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q761441$63148A21-6BA6-4A3D-9448-2BAF7F28BB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q761441$7D25CA56-42EF-41F9-861D-7B7CE6A8466C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0840f15547814f88bbead9410c6fedd8df8c09b","datavalue":{"value":"weak modal logics without the axiom of necessity","type":"string"},"datatype":"string"},"type":"statement","id":"Q761441$4F781F9B-A6F8-48EF-90D1-06A7F2B2799F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"884970c88ffdaa6df359f4d8afd22dd902c46da9","datavalue":{"value":"L-tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q761441$65F46E06-AD20-4C40-BE6D-C40EFC3B6ED7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"eb16cac6f872b8aaee8a7d937bc30f1744504815","datavalue":{"value":"Q114598292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761441$D27D3BAC-31E6-4993-A7C1-A01057B7E3F1","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":"Q761441$B5E227F4-A5E1-4590-AEBD-B61A26F8F3BB","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":"Q761441$31D95594-691E-4E16-9437-3694A2B049A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8eb8d7e741bd966862f4a2172b9a0f2b800bf737","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870574","type":"string"},"datatype":"url"},"type":"statement","id":"Q761441$CA20DF37-B5D0-4A9A-89D0-FDC734A5948E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2d3e83001e39bb948a6d31e590190c93297dfcf","datavalue":{"value":"W2131285443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761441$B94D3757-F574-4DFB-A499-C71A88A3E8C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bbae9e1d540eeb8de7d120f2fbfd0dc6bceb737","datavalue":{"value":"10.1305/NDJFL/1093870574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761441$C8267F5C-DDF4-4A64-9F5B-3753ABC01FBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84dbf4358028c06a4138715ac5c5293a6fcadb81","datavalue":{"value":{"entity-type":"item","numeric-id":2672662,"id":"Q2672662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba7c1020a3563d7357b04217c089e45824dd0fb","datavalue":{"value":{"amount":"+0.8881904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761441$91CC906B-712B-4E62-A810-55360A4035FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"809662027c131fc0521168563317257d97ac3756","datavalue":{"value":{"entity-type":"item","numeric-id":4273421,"id":"Q4273421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3be2788d4493720fda1e19bbaf1f632da207b899","datavalue":{"value":{"amount":"+0.8866937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761441$A4A99D5F-D850-436D-B4CC-115F0B8D73AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d162b7699cf15f544f3b18daa07347a56561f152","datavalue":{"value":{"entity-type":"item","numeric-id":3734358,"id":"Q3734358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9473220f39f5ffa5d45ae056fc7df43609dad5","datavalue":{"value":{"amount":"+0.8834893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761441$71116BFE-F1D4-479F-BC41-4AEB2EEC56EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5557f5d219b49aa06b8acd700e3c76068a4308b3","datavalue":{"value":{"entity-type":"item","numeric-id":2296754,"id":"Q2296754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e905812b86697f3bcca3fd24a5480d529b6f81","datavalue":{"value":{"amount":"+0.88232803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761441$62034EC1-8D30-4D1B-BAC8-7C4AC14620B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"858b91603cf8cd3f8734aa80b0d0107cfdcc1fd0","datavalue":{"value":{"entity-type":"item","numeric-id":2330503,"id":"Q2330503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c955d88a43e73bd3ad4730a3d17835829a4b383","datavalue":{"value":{"amount":"+0.88192445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761441$277F6227-BA6C-49E6-AC01-C50E58F8385C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f84dca0cf31f2217dbbfcd694741277df07b676","datavalue":{"value":{"entity-type":"item","numeric-id":3351349,"id":"Q3351349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e212d8940a4ea295443fd50e88c35ba633e3af24","datavalue":{"value":{"amount":"+0.8809428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761441$24CF653C-40AF-4812-A130-91D50970F9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ede3a33cfebf32da4f8abee91d75a95d639270a","datavalue":{"value":{"entity-type":"item","numeric-id":1330670,"id":"Q1330670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8774ef3ef30fc147a4352f1e8ca258f4916f2510","datavalue":{"value":{"amount":"+0.88058895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761441$C72CE7BF-E59A-451D-88BF-4314F3C3AE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52e148665b3b06cc6f5078ced71b99764edb37c5","datavalue":{"value":{"entity-type":"item","numeric-id":829826,"id":"Q829826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b6c88bb5846a335ef2a53d16b298c8988b864d","datavalue":{"value":{"amount":"+0.88031125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761441$764CC78C-4E76-43F0-9EF9-4D50B60E6E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9857ee66a4c05fa3ed083916cf340b5be208ea98","datavalue":{"value":{"entity-type":"item","numeric-id":2082254,"id":"Q2082254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a75c2869407a36363a44c413cb602e6abfc8aaab","datavalue":{"value":{"amount":"+0.8800057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761441$D6C3B2D5-5FBD-43BA-A983-2748FDD88365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"091c6dacd6c700e170221b862b9d1437439adab2","datavalue":{"value":{"entity-type":"item","numeric-id":1425193,"id":"Q1425193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66c4b4789a0aff6c184857e01b4750702c81a8dd","datavalue":{"value":{"amount":"+0.8792654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761441$3FE72D1B-C941-4F69-85A4-9EA6237BB275","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:761441","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:761441"}}}}}