{"entities":{"Q583191":{"pageid":584958,"ns":120,"title":"Item:Q583191","lastrevid":62940537,"modified":"2026-04-11T09:07:05Z","type":"item","id":"Q583191","labels":{"en":{"language":"en","value":"Algebraic semantics of some normal quantified modal systems with the Barcan formula"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4132128"}},"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":"Q583191$B56CDCCC-84C5-417C-8033-98537141CEA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab7e4087b11127301794c7a2269954dbfc311271","datavalue":{"value":{"text":"Algebraic semantics of some normal quantified modal systems with the Barcan formula","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q583191$9EE8B674-8631-4632-893A-B9A8E0E3C6CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7884c77bc775a99ce98de151a3a893e895b1b88","datavalue":{"value":"0692.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583191$EBC05977-EAEB-45CC-8C8F-48DA8F300040","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9c24eb5e735e1c3f47419c585a4476ca14e6e45","datavalue":{"value":{"entity-type":"item","numeric-id":583189,"id":"Q583189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583191$73D170D3-BE42-4427-9553-5BDD06CBBF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"654a6d26c3970b2401c07b4a8e54bedf870f8ac1","datavalue":{"value":{"entity-type":"item","numeric-id":583190,"id":"Q583190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583191$13BC6546-66B9-49EB-BA4A-E3F829FF41C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45e1edb64efeee080173451c87c3f0c1d8534742","datavalue":{"value":{"entity-type":"item","numeric-id":174829,"id":"Q174829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583191$2BFC97E1-BAE5-4FE8-BE67-4421A685FD0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q583191$F27352F9-F995-40A5-BD3E-A85B8F6B3488","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0b6cc43182ab19236c884e2847fad764279f9b78","datavalue":{"value":"The authors achieve to prove algebraic completeness theorems for six normal quantified modal systems with the Barcan formula. They deduce the algebraic completeness theorem from Kripke's semantic completeness result by revealing the one-sided connexion from Kripke's semantics to algebraic semantics. The article consists of 4 pages and there are no proofs of the theorems. They may be given elsewhere.","type":"string"},"datatype":"string"},"type":"statement","id":"Q583191$9CEB477F-AE4A-4235-9A58-FFEBE9D53417","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583191$3AAB1787-F6B5-4E7C-8069-EE0C6909DD4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"adf5e2acf26e9f7c17a4357651e8062721636222","datavalue":{"value":"4132128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583191$717D9A78-BD5A-49FD-900F-B990E4146EAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q583191$D1726322-9380-436D-AED3-C18BFE7E0DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97c0b395038d748f1357a7ee2df43943b418cdc","datavalue":{"value":"algebraic completeness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q583191$E9BDDAE2-BEB7-4064-B9C3-7809A856E1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e8e3f205f536cbd585c7ab2d7a3b0b5d839f08","datavalue":{"value":"normal quantified modal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q583191$AB7DAED8-9000-41A8-9B77-15F5810509D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666779a38fa937251fc61ea056c3be2b34fda746","datavalue":{"value":"Barcan formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q583191$F36BCB23-F3E3-4660-AC5D-459200E1F88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q583191$B5FB4A08-4E5F-4A18-8E46-A6C7FB465708","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":"Q583191$73EE78F6-1EFF-4029-B466-771702C44A24","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":"Q583191$7864D9AA-8FDD-4B31-BA16-954D838DA9CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f838ffeb787ab78c62a7b621c1a8b3dbf110458","datavalue":{"value":{"entity-type":"item","numeric-id":4854864,"id":"Q4854864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935685f7f57b55ffdb800aa844587da8a49d539f","datavalue":{"value":{"amount":"+0.8868508338928223","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":"Q583191$191DD0CF-1F50-4AA1-8A3A-11E7DE4E1939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff0f819e1aefdae72450970f513fdaf22d72ba62","datavalue":{"value":{"entity-type":"item","numeric-id":5198903,"id":"Q5198903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935685f7f57b55ffdb800aa844587da8a49d539f","datavalue":{"value":{"amount":"+0.8868508338928223","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":"Q583191$0D2E5A23-E4B4-4C0E-99F4-701E0C9132C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7fc59a700b860ce63f83abb2eddbf4c1a3f70db","datavalue":{"value":{"entity-type":"item","numeric-id":3781735,"id":"Q3781735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9126856ededbdc12fe1e175ddc4e850b3e94e165","datavalue":{"value":{"amount":"+0.7920317053794861","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":"Q583191$CE62EA33-2F30-41A7-BF9F-E778F24DE780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e63ec53330026f3aec5f9a9df91997f7852a17","datavalue":{"value":{"entity-type":"item","numeric-id":1896788,"id":"Q1896788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f16624d31680be9edbde715ca02a8a1768816d7b","datavalue":{"value":{"amount":"+0.7752634882926941","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":"Q583191$AD7485F3-6510-4E4F-A64E-8C66E7B5CE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1421697fa8bf5759a7ff616e163870e3e0a2a46c","datavalue":{"value":{"entity-type":"item","numeric-id":1685158,"id":"Q1685158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"363af3082db30cf89b2902fcf2cf25df0bf4154f","datavalue":{"value":{"amount":"+0.7744383215904236","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":"Q583191$8A393A67-90BB-4B85-ACE0-112F68DABDFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic semantics of some normal quantified modal systems with the Barcan formula","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_semantics_of_some_normal_quantified_modal_systems_with_the_Barcan_formula"}}}}}