{"entities":{"Q1896788":{"pageid":1907530,"ns":120,"title":"Item:Q1896788","lastrevid":43402621,"modified":"2025-07-25T12:15:06Z","type":"item","id":"Q1896788","labels":{"en":{"language":"en","value":"Incompleteness and the Barcan formula"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 795336"}},"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":"Q1896788$E47B5208-349C-4312-B11B-7F3098E130A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a933370bd3ab882b4e8bf107b5ac400455e26eb7","datavalue":{"value":{"text":"Incompleteness and the Barcan formula","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1896788$34612A25-1A0F-4C19-9945-ABE781270DB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"125d238953ff73c99e765d9b502a2cb2c9486f27","datavalue":{"value":"0843.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896788$B0AF5A95-37A5-4031-99D9-8B9B292570A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e9d3ad293e5f22985ee9327059a0379cb525d67","datavalue":{"value":"10.1007/BF01048353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896788$376EEA8C-F095-4FFA-ACB0-695243AE12E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896788$32963A57-2AAF-49D0-AA49-EF64C7BE5DB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bed8fd212c2f0ddb9329716d1e3c475c7266f372","datavalue":{"value":{"time":"+1996-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1896788$2B74CF3C-9A2F-4731-B731-6CC38E980198","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eab7975a4d10db4fab9c7bc7d57755d3a0120813","datavalue":{"value":"A normal system of propositional modal logic is said to be complete iff it can be characterized by a class of Kripke frames. Moreover, if a system of predicate modal logic is complete, then it is characterized by the class of all frames for the propositional logic on which it is based. Furthermore, if a propositional modal logic S is incomplete, then so is its predicate extension LPC+S which is obtained, basically, by adding to S the two quantifier rules:    \\(\\forall 1\\)\\ \\ If \\(\\alpha\\) is any wff and \\(x\\) and \\(y\\) variables and \\(\\alpha [y/x ]\\) is \\(\\alpha\\) with free \\(y\\) replacing every free \\(x\\), then \\(\\forall x\\alpha\\supset [y/x ]\\) is an axiom of LPC+S.    \\(\\forall 2\\)\\ \\ If \\(\\alpha \\supset \\beta\\) is a theorem of LPC+S and \\(x\\) is not free in \\(\\alpha\\), then \\(\\alpha \\supset \\forall x\\beta\\) is a theorem of LPC+S.    The aim of the paper is to show conversely that there are several complete propositional modal logics which have incomplete predicate extensions (either with or without the Barcan formula  \\[ \\text{BF} \\quad \\forall xL\\alpha \\supset L\\forall x\\alpha). \\]  For example, the predicate extension of the so-called system KG1, i.e. Kripke's basic system K plus axiom G1,  \\[ \\text{G1} \\quad MLp \\supset LMp, \\]  (which is characterized by ``convergent'' frames satisfying condition  \\[ \\forall ww' w'' (wRw' \\wedge wRw'' \\supset \\exists w''' (w' Rw''' \\wedge w'' Rw''')) \\]  for the accessibility relation \\(R\\)) turns out to be incomplete if it contains the Barcan formula.    On the other hand, the predicate extension of, e.g., S4.4= S4+R1,  \\[ \\text{R1} \\quad p\\supset (MLp \\supset Lp), \\]  turns out to be incomplete if it does not contains BF.    In addition to these results, a general semantics for modal predicate logic is outlined in ``Appendix 2'' of the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896788$D4134CA7-F396-4154-9BAD-49BB173F3C9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896788$A75C768E-849A-4CA2-92AD-B6241F8D29D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68b020a7b3ed4bc3c47971ec4cb363ef26f93978","datavalue":{"value":"795336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896788$6D0FF9B8-1913-40F4-9493-7C9D430E3828","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"013fc80252d6be92ce978eaf0d96dc29a783a555","datavalue":{"value":"complete propositional modal logics with incomplete predicate extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896788$3A0459E6-0C14-4DCD-9512-E299A91D461D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9914ace600fe82478c3798b2d72eaecf38356bf8","datavalue":{"value":"predicate modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896788$58D0A022-8DF5-4E02-A608-61DF867B537F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666779a38fa937251fc61ea056c3be2b34fda746","datavalue":{"value":"Barcan formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896788$B3A87F65-AB8F-49A2-BD06-2E376C72B161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896788$9D1D6EF8-652E-4A42-B501-CD182CDB5DCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa282e821b812e4d17511e7ea2ea3bb995433a21","datavalue":{"value":{"entity-type":"item","numeric-id":516413,"id":"Q516413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896788$F6733657-B90A-4BE5-821B-D18D278C5F43","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b60aa5ae07adad6d3eb52fdc6e8969307a605db","datavalue":{"value":{"entity-type":"item","numeric-id":346756,"id":"Q346756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896788$8B88ECE2-D39C-4948-B0CD-A6522F7EC22D","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":"Q1896788$4CAF094C-D912-4A2E-B87C-EA6CC231A66B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896788$FF962519-C9CF-488C-B6D7-4F5B497C6967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d2065d700f2825fdfa933ca5dcce9965a089dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1264137,"id":"Q1264137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896788$124ABEA1-E5DF-4F9E-AC87-51FEFEA80853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3982448ecd0d26a66893746afa05fb5b19de9112","datavalue":{"value":{"entity-type":"item","numeric-id":4845311,"id":"Q4845311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896788$6A646564-4A98-4795-953C-9061247B8A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc98368a0198e76f121e4b2c357211cc2fd98528","datavalue":{"value":{"entity-type":"item","numeric-id":1090325,"id":"Q1090325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896788$C7982D22-B97B-4B53-87E9-32F661B9C375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821ee4ebee9996e0e65a2825268a79270ff5cef2","datavalue":{"value":{"entity-type":"item","numeric-id":3984427,"id":"Q3984427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896788$2CB980C1-E2CB-4E95-A75F-231765C68628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896788$CCFC2387-CC88-42B2-9321-A1BD5D6E8F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed62b11fa5ca9bc652f9dc5559868ec0fc881d75","datavalue":{"value":{"entity-type":"item","numeric-id":800346,"id":"Q800346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896788$B60A4174-616D-4AA8-A70B-C9BF4678B6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e6e4389eb351114acccb25274f6bf8d570c247","datavalue":{"value":{"entity-type":"item","numeric-id":5668435,"id":"Q5668435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896788$571293D3-5BFA-49AF-BB70-D84542C62096","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15ec263760f317c3bdc7b5cbef8706b5d2b96156","datavalue":{"value":"https://doi.org/10.1007/bf01048353","type":"string"},"datatype":"url"},"type":"statement","id":"Q1896788$CD2B0345-B5DB-40B9-970C-431E04862F6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fa15db07b767e9f7e95ba8e49e091601c6fbe04","datavalue":{"value":"W2003342487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896788$FC046ED6-5E29-469F-9DBD-1B1604618E8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a69ace38d545c2f2526b920c763d32d005e0476","datavalue":{"value":{"entity-type":"item","numeric-id":4264381,"id":"Q4264381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b5e937c9bd6b995a211f508e3aabc351527de03","datavalue":{"value":{"amount":"+0.85051167","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":"Q1896788$10D665F6-BC84-4E7A-AEDE-C4CF78366F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266ce4026e37f619dcf0c79dcfdf5499bb3cfe9e","datavalue":{"value":{"entity-type":"item","numeric-id":2776807,"id":"Q2776807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e5de87bd8744985eeb97ca0ce9f93a7497847a","datavalue":{"value":{"amount":"+0.8467127","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":"Q1896788$B5ED66DC-13F5-4C2C-9709-F47725112454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e5743406a7d450d9b6af3a16de1f576bdb8a836","datavalue":{"value":{"entity-type":"item","numeric-id":4640304,"id":"Q4640304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11fbe4891586a3c2c8022abe52a1cbdb193a7343","datavalue":{"value":{"amount":"+0.8426431","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":"Q1896788$D6E859ED-33E6-416C-9953-78DC50509811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb13c298494d3609801ef230bac36fccb531e7e5","datavalue":{"value":{"entity-type":"item","numeric-id":4314073,"id":"Q4314073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04116819b5465e11eb9dd42e0f9a94523b4047d8","datavalue":{"value":{"amount":"+0.84192836","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":"Q1896788$CE913A9A-3CD7-4A6C-AA8B-BC404F1E2158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25ae4cd618bc118c6f3b92d5a1d60c7284ecc7aa","datavalue":{"value":{"entity-type":"item","numeric-id":5700821,"id":"Q5700821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1133efe60c77490d8631d14f8e31ed11454b84c9","datavalue":{"value":{"amount":"+0.84010535","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":"Q1896788$60E1BFBF-5003-40F5-9546-DCBD6F2BC794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc33d4f687e26042b7f46efcf36919c47494123","datavalue":{"value":{"entity-type":"item","numeric-id":4354788,"id":"Q4354788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ae2d899c86c264c93be1ad400ebcebc3074f58","datavalue":{"value":{"amount":"+0.83565396","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":"Q1896788$524E68BD-B866-49CA-B98F-904758A1A823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c8c290b2be76da903fab6417eff1b72441b7d0c","datavalue":{"value":{"entity-type":"item","numeric-id":3843608,"id":"Q3843608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc6671d0afe231f960456c4324e8b940b5a4c279","datavalue":{"value":{"amount":"+0.83514583","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":"Q1896788$3709774E-1BF5-4EF3-9DC6-7BBBA02B5723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b54d91e0923a02958f9f01cdb7488669beffb9e5","datavalue":{"value":{"entity-type":"item","numeric-id":5117593,"id":"Q5117593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ef99f162244da8150459cc770b0f6c669eb577","datavalue":{"value":{"amount":"+0.830086","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":"Q1896788$CE38DAA5-CCAA-4863-B525-B10521D2A366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e432949f37f554999eac3a290915789d8e3ecf39","datavalue":{"value":{"entity-type":"item","numeric-id":6088503,"id":"Q6088503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6637cea21e6523737585ce119500ef1bdcee9d8","datavalue":{"value":{"amount":"+0.82833034","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":"Q1896788$9A2B922E-2337-4809-93A1-E998E8BC45A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d11983804e50d8b24f9e29aa7de072b102325de","datavalue":{"value":{"entity-type":"item","numeric-id":888771,"id":"Q888771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a79d0c9c04e29db78b7ea4e0de53ec932382391","datavalue":{"value":{"amount":"+0.8281319","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":"Q1896788$F0D42CDC-D06E-49AA-A7F6-052AD1A52768","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1896788","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1896788"}}}}}