{"entities":{"Q1368754":{"pageid":1379494,"ns":120,"title":"Item:Q1368754","lastrevid":46486278,"modified":"2025-12-24T21:44:24Z","type":"item","id":"Q1368754","labels":{"en":{"language":"en","value":"The elimination of \\textit{de re} formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1067938"}},"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":"Q1368754$4831FC23-6293-40E8-A600-BC0AE9F089C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d8a93b910342d12debc8ed97c94948bbf29eeab","datavalue":{"value":{"text":"The elimination of \\textit{de re} formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1368754$77B64792-9DF5-4B64-8431-258E9F64E6E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a0406dfd091dea80ce85368f61c90eac93f47c3","datavalue":{"value":"0885.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368754$1C0CB742-D1D5-46B7-96BF-B8DFCBEE9544","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10e8053236e90580dcbae30ac7a72587db8fa6b8","datavalue":{"value":"10.1023/A:1004228430102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368754$81D27A09-572B-41AC-8CD9-C0A50CE648FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbf639b300d72e78610ef679f5196c1e753facf","datavalue":{"value":{"entity-type":"item","numeric-id":332085,"id":"Q332085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368754$636E8ECF-ECC4-4A78-B546-6245617157C5","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":"Q1368754$EDD7B673-49B6-4E8F-A46E-A6E41F9715F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6734d96f5cb9f492e2514bc1346fce61762d79e","datavalue":{"value":{"time":"+1997-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1368754$B8BF2318-3B1D-4861-85F7-AC1D87EAC06F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b71e37d69876d39c8b62f7b8e59552c230486e70","datavalue":{"value":"A \\textit{de re} formula in modal logic is one which contains free variables within the scope of a modal operator (others are \\textit{de dicto}). \\textit{De re} modalities cause some people metaphysical anxiety. The axiom scheme \\(\\square\\exists x\\phi\\supset \\exists x\\square\\phi\\) has seemed crucial for the elimination of \\textit{de re} modalities, but the exact conditions under which its addition was required were unclear. Kaminsky defines (Df 5, p. 418) a modal logic S as closed under non-modal parametric substitutions just in case for each formula \\(\\phi\\), each atomic formula \\(P(x_1,\\dots, x_n)\\), and each formula \\(\\psi\\) not containing modal operators, where \\(\\phi(P/\\psi)\\) is the result of substituting \\(\\psi\\) for every occurrence of \\(P\\) in \\(\\phi\\), then \\(\\text{S}\\lvdash\\phi(P/\\psi)\\). (Note that it is not required that \\(x_1,\\dots, x_n\\) are the only free variables of \\(\\psi\\).) Kaminsky then proves that for a modal logic S containing S5 closed under non-modal parametric substitutions in which \\textit{de re} formulas are eliminable, \\(\\text{S}\\lvdash \\square\\exists x\\phi\\supset \\exists x\\square \\phi\\). Skolemization, which allows explicit description of objects, over a modal logic results in a theory which is not a conservative extension of the original. It is shown that Skolemization over the modal logic T (or higher) is equivalent to adding the axiom scheme \\(\\square\\exists x\\phi\\supset \\exists x\\square\\phi\\); for modal logics weaker than T, such as K, a modified result holds.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368754$BAD3C13B-7897-4E89-9767-4BF2D8B04E1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368754$8F8C2BB4-6A56-4E1C-B0E0-A0F165D8E8C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"757264ffea2919047c6bb1c975ae24ce45805c1d","datavalue":{"value":"1067938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368754$384C8988-7EFA-440C-AD33-4DEE54228F70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dcef5879d6b3e1ba582bf783b9435b2a0a1aa1c","datavalue":{"value":"\\textit{de dicto} formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368754$9A1826D4-D125-4646-B1C4-6F5A415677C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368754$2DE49E73-1F61-4021-B3C2-1C5A508C3664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1e1f5706bfa8f977110ce1cd0e34e4bd146b04f","datavalue":{"value":"\\textit{de re} formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368754$2F3A7E15-68D8-4931-89A7-AB3801D6B024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368754$F9888592-BB35-4B11-A7F2-AF217636946B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b34e81c9be74c25aae2603a8dfa343c349c2721","datavalue":{"value":"Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368754$A229BE31-B419-47A2-8AA3-8DA6C5ADB856","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5e4a390b9b69e1baf3efd1df8ffc4e33c0c36022","datavalue":{"value":{"entity-type":"item","numeric-id":1234661,"id":"Q1234661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368754$98AC27E7-A198-49A0-9A25-6341E6F468A1","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":"Q1368754$F0CEC3D3-40AE-4DF7-BF85-58F2ED49EFFB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d97f04eb8ea62903fff1fd6a77e76243174abdd","datavalue":{"value":{"entity-type":"item","numeric-id":1221738,"id":"Q1221738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368754$FF4B0010-6F39-4454-BECE-FEBBE522F6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b248c9a41ac79c43d6cfda81503444339c93564","datavalue":{"value":{"entity-type":"item","numeric-id":5791196,"id":"Q5791196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368754$4E98FAA3-05CF-4F07-8E7F-F6C0CBC71095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5397bcd7f4479932d018cbb3bdecfc668e2991a","datavalue":{"value":{"entity-type":"item","numeric-id":5575529,"id":"Q5575529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368754$628E0998-EC57-4222-9682-6A68FA5E32F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d95fd08b286c2d75935da3bf6ece957a863d65","datavalue":{"value":{"entity-type":"item","numeric-id":1245107,"id":"Q1245107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368754$D074E4B4-4DE6-453C-8DB3-10E6C864BFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d501daa7fe5d15611bb528422c7f5b6313390c72","datavalue":{"value":{"entity-type":"item","numeric-id":1258725,"id":"Q1258725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368754$70689BE7-2F82-4B57-BAEB-D95114A0CCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368754$7D8B1CD9-61B3-4792-971D-7ABF7BAAAE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b15c2e7821141e044e511dde04beea077c094ed","datavalue":{"value":{"entity-type":"item","numeric-id":1337505,"id":"Q1337505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368754$4246049A-18AD-49C6-8175-2D5F403DCA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd198fa0aa37fb2392dcf32d814181a1e152092d","datavalue":{"value":{"entity-type":"item","numeric-id":4729754,"id":"Q4729754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368754$CE995700-08EA-4D4E-8E9E-DB8136F4CCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e312a5d1ea32c708fffcbbd00635000db09cc90","datavalue":{"value":{"entity-type":"item","numeric-id":3233201,"id":"Q3233201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368754$C6ECFA12-94F3-4838-A6AD-3E2C4DDA2D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"551422936a59120f181f13e988af6ec98e343b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5737076,"id":"Q5737076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368754$DCF49164-6AB6-475B-9C98-32A5DF7A08D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d16bf9ea058355bc9e0359ea132971455a0c04","datavalue":{"value":{"entity-type":"item","numeric-id":2562774,"id":"Q2562774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368754$5AD2679B-FF08-48A2-8D3B-00B81344B9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d9f160a449ad08e11918d94d536d842bff4ee6e","datavalue":{"value":{"entity-type":"item","numeric-id":2649308,"id":"Q2649308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368754$5EFB13B9-9D5E-4557-BA2F-5ED837284DDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d4bd0f31ff214dcfb7e9c7c48999232f18f0e75","datavalue":{"value":"https://doi.org/10.1023/a:1004228430102","type":"string"},"datatype":"url"},"type":"statement","id":"Q1368754$A8F7535B-9BEF-4124-98A3-8EE18D86EB7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4939a32099822c5160d3e9f18739e9bf0c6073f1","datavalue":{"value":"W2073135871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368754$30480D76-4D1D-44BE-A9AD-32CE0A7EAC31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7098595f1c352984de142347eee55055a6b8336","datavalue":{"value":{"entity-type":"item","numeric-id":2735834,"id":"Q2735834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f90298462d46a6019d34ce4a1597c085391094","datavalue":{"value":{"amount":"+0.7844882011413574","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":"Q1368754$67743F6A-7060-404B-9352-7E3E7230F42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e0cff0bfff5d4a3548f3f865ccec65cc935486a","datavalue":{"value":{"entity-type":"item","numeric-id":3173799,"id":"Q3173799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada4d7ffe2c1a97b90735515b0c5207fc25adbec","datavalue":{"value":{"amount":"+0.7238274812698364","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":"Q1368754$642AFF8F-C54E-4BD2-B20A-D6C2E3726BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7187941eeaeafc51dc91ac752c0566a699290b3a","datavalue":{"value":{"entity-type":"item","numeric-id":1115410,"id":"Q1115410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477206f50c7db7d0c3052bed72bcf1814407eec3","datavalue":{"value":{"amount":"+0.7217686772346497","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":"Q1368754$FF66747A-6442-4B3A-83E8-0A64271902C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ad4045c53cdf5481bbcd302283339c5f410c4b8","datavalue":{"value":{"entity-type":"item","numeric-id":1366763,"id":"Q1366763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5412450847a0e71e930c9b7b25e9e746458b5ed8","datavalue":{"value":{"amount":"+0.7131652235984802","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":"Q1368754$0FC37D8C-A223-453F-A1CC-08E7716BA9A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1368754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1368754"}}}}}