{"entities":{"Q6606836":{"pageid":14217993,"ns":120,"title":"Item:Q6606836","lastrevid":57098766,"modified":"2026-03-26T15:18:54Z","type":"item","id":"Q6606836","labels":{"en":{"language":"en","value":"Quantified modal logics: one approach to rule (almost) them all!"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7914752"}},"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":"Q6606836$F8100D7E-707D-46E9-907E-E2C21CB6E3C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8761f713a189b94a48ef99364b883214a2b24be9","datavalue":{"value":{"text":"Quantified modal logics: one approach to rule (almost) them all!","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6606836$AC2020B4-25FB-41AB-AEF8-3875EA499BEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c14f3d367c8a5b22b270cd6f0a6dab892d4e9840","datavalue":{"value":{"entity-type":"item","numeric-id":2016053,"id":"Q2016053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$FE7D73AB-C9DA-438A-835F-DE6520B5A255","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":"Q6606836$1702F3D9-F5B7-4453-9FC7-D547A2CBBDF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"017399385e4d9ce7d03b1e5724928b0d308c6dc8","datavalue":{"value":{"time":"+2024-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6606836$375A2A9D-2AA3-4441-BA5E-885BAFA9D114","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f4cf8f254322c677b7ab25ed3a8db324299bf27e","datavalue":{"value":"The interaction between standard modal operators and the quantifiers of first-order logic introduces various possibilities and challenges. Using the semantics of possible worlds and accessibility relations, one must decide whether the domains of quantification remain fixed, grow, shrink, or vary as one moves between worlds. Additionally, a choice must be made regarding whether terms have consistent denotations across all worlds (rigid designators) or not (non-rigid designators).\\N\\NIn this article, Orlandelli proposes a general approach to quantified modal logics capable of simulating most other frameworks. The approach is grounded in a language that employs operators indexed by terms, enabling the expression of \\textit{de re} modalities and providing precise control over the interaction between modalities, first-order logic mechanisms, and non-rigid designators. The semantics are built upon a primitive counterpart relation that applies to \\(n\\)-tuples of objects across possible worlds. This is a primitive two-place relation between \\(n+1\\)-tuples composed of one world and \\(n\\) objects inhabiting that world which allows an object to be represented by one, many, or no objects in an accessible world, addressing some limitations of standard individual counterpart theories.\\N\\NFinally, Orlandelli utilizes cut-free labeled sequent calculi to offer a proof-theoretic characterization of the quantified extensions of first-order definable propositional modal logics. This approach also provides a means to complete many axiomatically incomplete quantified modal logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6606836$39D896E5-1E7D-42B4-9811-5A03B0ABE00C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0a128e7399472fef481caef8975c8e6e58b83c8b","datavalue":{"value":{"entity-type":"item","numeric-id":987488,"id":"Q987488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$F56E9D4A-EBAB-46FC-945A-9FDDEB18A530","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6606836$BBCD6B01-8F9A-41D7-84E0-8FF4BE59B8FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bd551d50de1295450472250582d46af614f7ba6","datavalue":{"value":"7914752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6606836$C493D30B-BFB6-43A3-B700-F34E367B7253","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54182b6d9cd175b0d8818847edc40ca608bdd3d3","datavalue":{"value":"quantified modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6606836$5665DB92-1939-4EF7-BE66-36B9EEC615B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd72428bb0c10f9d233733680fe8ea8f7bc7165a","datavalue":{"value":"first-order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6606836$3BA5192F-9EE2-4E21-8032-C622D8BA3BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6606836$14B1927C-96D9-4023-8AC1-4645CDB9451A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6606836$93AFBA55-C48F-453B-8073-F9607B7010D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6606836$C6E85A9E-8A36-48A8-940E-36624B3636C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604af6e25dfc03012279f2650702ecd9346f7e7d","datavalue":{"value":"structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q6606836$C8F6DBBF-1505-4DF3-B709-945D1ADB29F2","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":"Q6606836$971A4464-F77E-48BE-A104-70A5E114FE15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a97af044e395e79750c9688ee5641dfb3fd1c01","datavalue":{"value":{"entity-type":"item","numeric-id":3001111,"id":"Q3001111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$F3135256-4706-4591-8FC4-B8CF21FD9265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$8A4B29DA-59C8-4BCD-9B24-A2A5CE7C33BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01fe46f1d1025aceb38faec6050bd422e4a30b65","datavalue":{"value":{"entity-type":"item","numeric-id":4630801,"id":"Q4630801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$42A6AC4B-9BC1-4C25-8D47-F0D3995430EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cea6210234011431cccc309e04a7e9ba221e19","datavalue":{"value":{"entity-type":"item","numeric-id":2016054,"id":"Q2016054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$175AC052-E619-49D6-8160-A1AE2ED12D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0e442cb0731ece22baa6f5d984f3e898d577a4a","datavalue":{"value":{"entity-type":"item","numeric-id":1896788,"id":"Q1896788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$63F2ACE1-66E3-4F29-9180-AFCEE59EEBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a08243fd980f5701ca2fc53c5c48bfcfef4aa6d","datavalue":{"value":{"entity-type":"item","numeric-id":2795295,"id":"Q2795295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$1149645E-D242-42E1-8D60-6A76A37F082B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7dabcf8a7f3885d92a74e21fdae19a505bca7df","datavalue":{"value":{"entity-type":"item","numeric-id":6103506,"id":"Q6103506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$69A3C171-2C4B-4230-95D6-611A193051BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bef6aebcb7e05b26ddcdd4da792a7be8abe318c","datavalue":{"value":{"entity-type":"item","numeric-id":598308,"id":"Q598308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$26481DE4-AD2F-40EC-9E8A-2369A7440212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$2E2F171C-3939-4950-AE5A-CAE64AEF0679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be6adbacb915dbf54fc550a4feb912036627eb","datavalue":{"value":{"entity-type":"item","numeric-id":731484,"id":"Q731484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$5A354B98-A14E-4751-91A2-72B9FA1479CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2958c25e014568bfc6cfede4542b0b0c7dbb72","datavalue":{"value":{"entity-type":"item","numeric-id":812104,"id":"Q812104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$FF24F6B4-C87B-4504-AB82-068D7D806AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d9cdeac9068b3cb54d2baf4d84a1b8a99b0457","datavalue":{"value":{"entity-type":"item","numeric-id":1221744,"id":"Q1221744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$06B72473-F8C5-4BF8-94F6-8F8FAB4D41D6","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":"Q6606836$586CBB4E-9E02-451B-8791-01876C7D6156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a0757381cad586f0ad8d728ce1e186da6479a9","datavalue":{"value":{"entity-type":"item","numeric-id":1207339,"id":"Q1207339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$D940E5A9-D372-4F3F-B22B-6105F4ACA25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"715210deeab8f9157ef585cf5c5252f3b23afaea","datavalue":{"value":{"entity-type":"item","numeric-id":5198903,"id":"Q5198903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$D1BD35C0-D895-4C5A-A9EC-CCA5E2D17816","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":"Q6606836$5BEB08EC-E26A-4540-8FB5-B40E607E52B7","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":"Q6606836$005E3A9C-FEAC-4EEC-A456-1AEAFD911FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268c2b1fc9f77cf31c475bf579a0df36bc5cf587","datavalue":{"value":{"entity-type":"item","numeric-id":1407600,"id":"Q1407600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$98B5DD27-E476-478A-B16B-0EEF7441F731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$4831EC9F-A66B-4729-B50D-03A661AEE35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999e808a010af4f57be5d6ddf5ef8a7f72b17b99","datavalue":{"value":{"entity-type":"item","numeric-id":5014049,"id":"Q5014049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$0E11E806-0E8A-435D-90BA-5A15765B0DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8425e0dfadac6ffc495ddc05b72321e3f19c94","datavalue":{"value":{"entity-type":"item","numeric-id":3114184,"id":"Q3114184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$4EB93492-8E42-4440-BEED-4A0B63D54C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65bc0b28c9fff471bd4913b0f82c7d00976d2e7","datavalue":{"value":{"entity-type":"item","numeric-id":3382811,"id":"Q3382811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$9177144F-89A5-44AF-839D-FC36E0881FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9cd452b2dba2b169f897948e907e4ebf288a973","datavalue":{"value":{"entity-type":"item","numeric-id":5224585,"id":"Q5224585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$900D4CAA-8F86-4C0D-A82F-2F64B99E16F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07be17a47b8932e3c742bc872bd64dd1b30bbb45","datavalue":{"value":{"entity-type":"item","numeric-id":688796,"id":"Q688796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$49BF8937-7E3F-48F0-BA09-A8D65CCECDD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"299ffd23328da815d0c1dca288c35a7ee6569612","datavalue":{"value":"10.1007/S10992-024-09754-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6606836$33B5B670-20C0-46C7-AC94-A040C3BAC3BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"932681efaaf8eb3441d76a79611a0df681bf1dd3","datavalue":{"value":{"entity-type":"item","numeric-id":4796510,"id":"Q4796510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a8ce8823151f18749c31488082f2e2e46bd05b4","datavalue":{"value":{"amount":"+0.8017953634262085","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":"Q6606836$33D3F360-5B5F-4E1B-AB0B-EB1B7EBA75A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f485c11153887d8c68943d5bd5c1e19eefa8f77","datavalue":{"value":{"entity-type":"item","numeric-id":3791115,"id":"Q3791115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a57f06cd23d168204c1e6c077039baddfc492ac","datavalue":{"value":{"amount":"+0.7816225290298462","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":"Q6606836$BE6674BC-BB24-461F-B564-853FA123816D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f883bbda5a1d7ddec759552a2ac24ee6e5ad1e7","datavalue":{"value":{"entity-type":"item","numeric-id":1289100,"id":"Q1289100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5f40a366bf1534a8dfab92b47cf211d679795c","datavalue":{"value":{"amount":"+0.7741395235061646","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":"Q6606836$82C13E71-1BE7-481D-8B27-C6468363DF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dad8f9815a502630b95816edfb53373038ec964","datavalue":{"value":{"entity-type":"item","numeric-id":3382811,"id":"Q3382811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d93f2c52e8b12f9258bcca88ee17c3214bf3ce4","datavalue":{"value":{"amount":"+0.7708426117897034","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":"Q6606836$485E43D2-6F53-4CEB-A053-1FA2831E0FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84ca845eab521e433c6d4afe342d73488fb06500","datavalue":{"value":{"entity-type":"item","numeric-id":1314283,"id":"Q1314283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6862f932cf49f8827556400e303cab68bd78ca","datavalue":{"value":{"amount":"+0.768622875213623","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":"Q6606836$841C5F47-6198-453C-BD5F-3B7BC0CCF5BD","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6606836$8FD730ED-634D-4276-AEC4-391C7A7B491D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6606836","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6606836"}}}}}