{"entities":{"Q965898":{"pageid":967746,"ns":120,"title":"Item:Q965898","lastrevid":50967668,"modified":"2026-01-15T23:50:24Z","type":"item","id":"Q965898","labels":{"en":{"language":"en","value":"Associative substitutional semantics and quantified modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5701665"}},"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":"Q965898$7D0607B2-0334-42EA-AE85-4B0DAFE289FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23c7c3963c5add0f766632bea33ce9fc87f9a5e0","datavalue":{"value":{"text":"Associative substitutional semantics and quantified modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q965898$1E07651A-349C-4BC4-AF81-DC62275A2F31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10de1de2a9e6ef78aede551637961ba7248acc50","datavalue":{"value":"1197.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965898$F931807E-B056-4357-AF8C-4FAE8E931D97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc046fe9eca8c8076930b5578d8e04e525826243","datavalue":{"value":{"entity-type":"item","numeric-id":514083,"id":"Q514083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965898$A0992F62-7350-41F7-9277-FF65C82FBF35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965898$0F285B98-F92F-4891-AB05-41224383674A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf11706925c44dddfc197e0393a2ad75b3d2238f","datavalue":{"value":{"time":"+2010-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q965898$F98DB200-85E3-4ECD-9A40-74EC9BB6CD5B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"99da864c16661a1f31f272734f4844771bad33d7","datavalue":{"value":"For the semantical approach to quantified modal logic several philosophical problems have been discussed so far, particularly on the interpretation of objectual domains concerning, for instance, possibilia, trans-world identity, and so on. By surveying these problems, the author emphasizes that modal sentences are not to be understood referentially as is inherent in the usual denotational semantics, but to be interpreted substitutionally so as to avoid such problems. The main purpose of this paper is to present an alternative substitutional semantics for first-order modal logic which, in contrast to the traditional substitutional (or truth-value) semantics, allows for a fine-grained explanation of the semantical behaviour of terms composing atomic formulas. From this point of view the author proposes also the notion of modality ``de nomine'' as an alternative to the denotational notion of modality ``de re''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q965898$908BAB5F-2A3B-4AD3-B62E-C9FB18FE279E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965898$92F7BCF5-33C5-4C75-95ED-6BE1AF0C590F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965898$9C0DBF5C-ACAF-49CB-AF61-AFC91EA6331D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965898$F7C89102-9F24-4A13-8ABD-937C6FA989EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbf6e03e2ac761a1420fe8715eb9c42df5e9d752","datavalue":{"value":"5701665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965898$A19F2EEA-9741-4AAC-AADF-A76A5897F5B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q965898$97B1E1F9-034C-4591-98A7-C7E958A24F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q965898$305321A6-8124-46D2-B173-B16D7C2EFAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3aa597b463390825774ad2b9586c0d6d90354968","datavalue":{"value":"philosophy of quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q965898$8FD8481F-E44D-4DA4-B925-1FB88D7CA510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"450e4e7d8d5f81e3ca4fe442a1d8b1fe9cba983f","datavalue":{"value":"predication","type":"string"},"datatype":"string"},"type":"statement","id":"Q965898$D4D2BB36-1150-4D3C-A3EB-12E5A88D3907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0672a6fd17d7834e8a241bbb4ca28ba4591528","datavalue":{"value":"substitutional quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q965898$EAA1D0C4-0D93-4AEC-954C-49B885BC7356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"224e443198ce5ccf1eefd029ef01c38f9379b5bb","datavalue":{"value":"truth-value semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q965898$AF5D15BE-90DA-4404-BB02-07C5B4F9806C","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":"Q965898$7813583A-4E15-43B6-88DB-A34797A989EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e27d487c31f665007b67e731fbb7189936ffd785","datavalue":{"value":"https://doi.org/10.1007/s11225-010-9222-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q965898$07F87FF6-EAF2-4FC8-978B-677412E46108","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fb9f9480419e3f90b4583efc8933df0b30cfcaa","datavalue":{"value":"W2021134003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965898$F751EC4F-71FF-4142-BC3E-04DBABB7FBDB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecb4be61bd62671367aac31e5d931af407d9059d","datavalue":{"value":{"entity-type":"item","numeric-id":4398838,"id":"Q4398838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965898$8F44BC7F-C0E4-4670-8187-A16B774259C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5286f42c9ac1e968f1fe9ac90b2558f691577732","datavalue":{"value":{"entity-type":"item","numeric-id":3962965,"id":"Q3962965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965898$5C0A77D0-5A63-4722-B718-460882D34F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a1ffdfe12197f0ad69166855afca5ea740b986","datavalue":{"value":{"entity-type":"item","numeric-id":4497489,"id":"Q4497489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965898$F590933B-2408-4D64-BF57-3039AC624F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94eef1e6e1c55bdfab6ab2354b886b1b03a2fe9c","datavalue":{"value":{"entity-type":"item","numeric-id":5675346,"id":"Q5675346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965898$1FC54686-8147-4C10-B1A8-D27E664577D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1bebb311f3b828ed54a337cc22ee8307930b24","datavalue":{"value":{"entity-type":"item","numeric-id":1406610,"id":"Q1406610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965898$9F14D653-0913-43D3-B70D-3A3594DB47BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108c8e52f31fd7648d08e55bc61a212b865d7210","datavalue":{"value":{"entity-type":"item","numeric-id":3210889,"id":"Q3210889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965898$DEEE58B5-7B2C-4441-93A9-CD79679F8AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965898$CEB0D7EE-CB3F-49F0-BAB6-29AA1A13C7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505934f239764a448f53660aee28756b7b008a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4523164,"id":"Q4523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965898$5B2F3DC9-711B-4176-A88B-34227E8379AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f9b7c4ccf2a9cbb593f095fc6fd815b396756c","datavalue":{"value":{"entity-type":"item","numeric-id":2558274,"id":"Q2558274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965898$8A4ACAE3-671D-4815-B878-A9DF564DD372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ac04b4f4b278296354616d63ccf9e56eeee8d1","datavalue":{"value":{"entity-type":"item","numeric-id":5183469,"id":"Q5183469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965898$A6A99E2F-3575-458E-A95A-B5686CCA6D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c859f19347da3db342044651c8e924cc3ad89601","datavalue":{"value":{"entity-type":"item","numeric-id":4117804,"id":"Q4117804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965898$81C23358-6ACA-4425-A9C2-E70C22EF75EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a928f49ddaa152528ed6f712c44ffb4bd5806708","datavalue":{"value":{"entity-type":"item","numeric-id":4789454,"id":"Q4789454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965898$3741CD5A-6538-4F8D-8498-3A2DCA49B9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9446fa720164b7216529073e8afe913b32caa986","datavalue":{"value":{"entity-type":"item","numeric-id":1131502,"id":"Q1131502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965898$BD902DD4-8EAC-42B1-B6B5-A71DD2F8D3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87759b3b81d5400a56c490f848ad54789f5ea5ec","datavalue":{"value":{"entity-type":"item","numeric-id":4452540,"id":"Q4452540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965898$89967C07-63C8-4364-B42D-44A51A0D15EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"266000d8e639a345d23ab3ab30c36a77302b5f91","datavalue":{"value":{"entity-type":"item","numeric-id":3124707,"id":"Q3124707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965898$89BADDA0-8D26-47F8-AB7C-F09C2BECF6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615c69ac6df9afc124401ae3b18bce04b430598c","datavalue":{"value":{"entity-type":"item","numeric-id":5839923,"id":"Q5839923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965898$1CCA86E0-67A0-486B-9758-63ADFFB370C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866d1605b625add09ef9c73e276f3a3cca675321","datavalue":{"value":{"entity-type":"item","numeric-id":5941719,"id":"Q5941719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965898$A7E23B65-E35C-4CC7-8789-E20C5C38DB53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"acb8fc5a16885673cddd024869ce7548a859b902","datavalue":{"value":"10.1007/S11225-010-9222-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965898$9068B858-488E-4C5E-BB44-BF7CB233E9AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b3a0859c9420e02e8a0a6e308fa97b4023428a","datavalue":{"value":{"entity-type":"item","numeric-id":4793390,"id":"Q4793390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"915763ac461fe460f89a9b5596998b6638e617fc","datavalue":{"value":{"amount":"+0.7734360694885254","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":"Q965898$FEEC1809-55F4-4AD5-9FC2-C19FB818BE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba1b377992dbecbd6b4c271252338e77edacf57","datavalue":{"value":{"entity-type":"item","numeric-id":4295247,"id":"Q4295247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb4cb3330438d943923dabf284de7c8dcd6ec8ec","datavalue":{"value":{"amount":"+0.7569405436515808","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":"Q965898$092AD1E8-1E40-448E-B526-F2715C5E8373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54516e078c25151df809beb36c19c0c3d6c9e380","datavalue":{"value":{"entity-type":"item","numeric-id":1882400,"id":"Q1882400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de2ffcd53589464dd5bd68324f614c824dcf3d1d","datavalue":{"value":{"amount":"+0.7523708939552307","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":"Q965898$5160CF85-B258-4996-967B-FAF0AD293824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1196428d672b24d656b44bc099d00b091fb504","datavalue":{"value":{"entity-type":"item","numeric-id":1750301,"id":"Q1750301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e506427b46969989eccfec7d5f4bd503f9247773","datavalue":{"value":{"amount":"+0.747721254825592","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":"Q965898$E043DB1F-E57D-4114-932F-07F01B6D9464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06296b0540b42c44103d2d7fc9d031c4eaac22f0","datavalue":{"value":{"entity-type":"item","numeric-id":5471131,"id":"Q5471131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1afb1cde08d3453b2e460711bc0725b356a7a7a8","datavalue":{"value":{"amount":"+0.7445597648620605","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":"Q965898$2594B6AB-1EC8-4B1E-B08E-FEA1F4573C8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:965898","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:965898"}}}}}