{"entities":{"Q1750301":{"pageid":1761043,"ns":120,"title":"Item:Q1750301","lastrevid":53085077,"modified":"2026-01-24T04:49:16Z","type":"item","id":"Q1750301","labels":{"en":{"language":"en","value":"Actualism, serious actualism, and quantified modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6870291"}},"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":"Q1750301$14A6256D-9DF9-4B2F-AF68-94138BB21B60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aaa0025fa71d34f212da74ce5be9d0207f29020c","datavalue":{"value":{"text":"Actualism, serious actualism, and quantified modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1750301$069F6A64-B0AC-455C-A1BE-E51624EDD1F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a65f6a751287ba185d67968023a28fd914a2e50","datavalue":{"value":"1403.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750301$CA7502F1-83AA-4EDA-A6B4-7B017F4920C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f5e2abcf2db7b14be2b59c5ccd225dd0f1c37ba","datavalue":{"value":"10.1215/00294527-2017-0022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750301$1A1F9347-BAA1-425B-ADD1-49E206287DE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd5ee3aa45d6690f7068b1510b9d6a440d486529","datavalue":{"value":{"entity-type":"item","numeric-id":1134149,"id":"Q1134149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$DC713B68-9844-4031-A215-7FD46F02A4B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$CFA61E75-C7C3-42E8-B319-5D6CA2C55468","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0fc96b23bd22c58b1c85efb766530f41ccd3b2c","datavalue":{"value":{"time":"+2018-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1750301$FE3E295C-C620-42A5-BA2B-9F219776FC3D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"295f774c5bb46889fcd9585d3db12f58be7c8599","datavalue":{"value":"The paper navigates in the waters between metaphysical doctrine and formal logical representation. The goal is to build a first-order modal logic that accommodates both ``actualism'' (the view there are no merely possible things, that is, things that do not exist but have some alternative kind of being) and ``serious actualism'' (that all sentences attributing properties using non-designating constant terms are necessarily false) in a manner that preserves both logical truth under uniform substitution of complex predicate abstracts for simple ones and plain truth under replacement of logically equivalent subformulas, as well as admitting a sound and complete proof system.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1750301$29BA4689-EBA6-4F36-8429-B1CB28C39269","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e221a0164f502dd7b3593304ff005c15e95c5976","datavalue":{"value":{"entity-type":"item","numeric-id":185572,"id":"Q185572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$7854C233-370B-4546-87E4-55FD468A44BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750301$B551A03E-7C58-4429-B6B0-EA3195BA42EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750301$0ED2AF38-E743-43D6-AEB8-6AA5D45DE408","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be387b7d8d12d394cb16b33bab9a157c2ba9b8e0","datavalue":{"value":"6870291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750301$53E8381D-80A8-42B1-93DC-07B2EAAF7C87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527def781fe17e70652b5ba1af79e59518042825","datavalue":{"value":"quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1750301$C83B2451-33D5-41BB-9C35-304D98D9D7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab3ef98dacbb588011367810895a883a4107cab5","datavalue":{"value":"metaphysics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1750301$A2170F8D-75B4-48F0-9BBF-1939540B3B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"660bc8e1f45794bcacdd7daad270225293aee828","datavalue":{"value":"serious actualism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1750301$6542A041-0FFD-4233-8CF6-AA954FD936D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"487a2892f3d7abb25ecf30a260bf9fa5231b6582","datavalue":{"value":"actualism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1750301$95D38867-BBC5-4A66-848A-BF5F577F1C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9fb50508d9ae1a4b5b2525656ffbf4223c07463","datavalue":{"value":"predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1750301$503AFA23-694F-4DF1-A017-E484B53E604F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e8aac97481b2fd76e010c37bfa023b957d1b69f","datavalue":{"value":"uniform substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1750301$D0F2021C-0D05-473B-B47F-ABEA277F2777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bdaad7de694f873a71edf66d086aa3b9e15da45","datavalue":{"value":"tableau proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1750301$0BC7F4B3-3E24-4FE6-951E-EA28DBB8E1AB","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":"Q1750301$5B6E7D7A-56BB-47E5-B490-6629F42246CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcb48e141f4dd9f5f436745a335acf8a9fc35fed","datavalue":{"value":"https://doi.org/10.1215/00294527-2017-0022","type":"string"},"datatype":"url"},"type":"statement","id":"Q1750301$899981AA-3A93-4B58-AA4A-4F6F0A556C99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bff885dcc305edc6cb6542af6be1f7e63a807e2f","datavalue":{"value":"W2768188476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750301$1BF852A4-84D9-4848-9203-16218C4C1968","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":"Q1750301$558B8ACE-BF16-4E06-BF46-16B57902C452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f92892db9b11937295f3d02c4d8db370f4d397","datavalue":{"value":{"entity-type":"item","numeric-id":1153891,"id":"Q1153891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$567EB738-0EF0-4B51-ACBA-BB62D1091F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e486ee774aad2683fa55e1426659724743879eb","datavalue":{"value":{"entity-type":"item","numeric-id":5704418,"id":"Q5704418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$0AC662D6-EFE2-4706-8768-95AC91938A79","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":"Q1750301$D32B32AA-AA3A-440A-B791-0796C97F9B4B","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":"Q1750301$D4F0BD69-7600-4461-9865-D477B786C1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b4d384854c2e13796ad2c51119423fa143380d","datavalue":{"value":{"entity-type":"item","numeric-id":4789451,"id":"Q4789451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$4F555815-F254-4089-91CB-94E2A23599CF","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":"Q1750301$D8B9BD9F-05BD-461A-810C-2CA5E07A8E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2dcb5dc0921c5051a240f9aa643b2e005af3cfa","datavalue":{"value":{"entity-type":"item","numeric-id":2890696,"id":"Q2890696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$7C598A8B-7EE6-44C4-933A-301BA9753D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1936dfe58ac4dbeedb68575048186e40fd3a40","datavalue":{"value":{"entity-type":"item","numeric-id":792998,"id":"Q792998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$7E75F468-155F-48A4-A25B-E46A4C6A6591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b781d7d86c765435808eb8a4119aeba7035187f","datavalue":{"value":{"entity-type":"item","numeric-id":801894,"id":"Q801894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$0D8B5686-9B74-4212-879E-60ED9D3DE8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c504991d27ae697993f2c56bd48af63e21d465f","datavalue":{"value":{"entity-type":"item","numeric-id":792997,"id":"Q792997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$9BB64872-4053-4510-909D-FF5AE06BDEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e3b71e4e0c0c6b37a530d61eff268916087684","datavalue":{"value":{"entity-type":"item","numeric-id":1115410,"id":"Q1115410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$957C273E-CDEC-4C77-A87D-DB7182AA9999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8dc8a34d450ddf2b7280158b741e65d7cf2e258","datavalue":{"value":{"entity-type":"item","numeric-id":599801,"id":"Q599801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$04A82C46-16CD-426B-966D-DAA8472E982A","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":"Q1750301$74BB7C46-DDAE-4670-B4D8-E5B778A76090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579cfd43f559b58592b61e11463eea4e3d644b9e","datavalue":{"value":{"entity-type":"item","numeric-id":4805349,"id":"Q4805349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$FE69A8AC-19CA-47EB-834D-626F079BC198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c9d49a60c4aa7c79ad7477007bbb84824e0ab74","datavalue":{"value":{"entity-type":"item","numeric-id":1820146,"id":"Q1820146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$24C4AA7A-3900-499C-873E-86C89D52315F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36a13b7ace3909765e8f24655249e7c09e017a1d","datavalue":{"value":{"entity-type":"item","numeric-id":5523668,"id":"Q5523668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$69812D9F-1DFE-45FD-A146-AE7FFCF3E554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b7dc70f9c74a3d37666c22fc24255902b8b441","datavalue":{"value":{"entity-type":"item","numeric-id":1181474,"id":"Q1181474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$9270DCC3-EE4E-40AD-9620-72C3ED8659A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8396ffc040804b6969e47e9cd073ff2761d315","datavalue":{"value":{"entity-type":"item","numeric-id":5596205,"id":"Q5596205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$B4F865AA-2479-4532-8987-B16FFAC2FE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f13c4189bad4ca17e49afc53807009b779bee3","datavalue":{"value":{"entity-type":"item","numeric-id":1815412,"id":"Q1815412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$10F31ADF-ED4A-4653-99C8-9CEFB73E0F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd91862698e205c386f532cf4c96bfd18a97775","datavalue":{"value":{"entity-type":"item","numeric-id":1882400,"id":"Q1882400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$3B4A6722-7E35-478F-AAD1-BEB8625D5B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e132951c9ae0e042a205b053010c50c880c07a4","datavalue":{"value":{"entity-type":"item","numeric-id":817958,"id":"Q817958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$98F55F50-8C4E-4317-92F4-89AC9D7A4D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa3a343358c2292e5427ad6310372de0b6fcc99","datavalue":{"value":{"entity-type":"item","numeric-id":5495322,"id":"Q5495322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750301$D2934F09-5AFF-4834-A832-544BF8E4F891","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef1f99faf29faf34737be7692a3481fc88d90a38","datavalue":{"value":{"entity-type":"item","numeric-id":2640589,"id":"Q2640589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e88d462de6247650ca034d68a4788e86c2fdbfa9","datavalue":{"value":{"amount":"+0.8081843852996826","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":"Q1750301$BC197C71-3FEC-4A37-BBF5-929557CF84E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9fd2749004290535eea0b011e737b4ddb2d04c","datavalue":{"value":{"entity-type":"item","numeric-id":817958,"id":"Q817958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b14a6c04c4090989a7f4627b7ef146fde8198a3","datavalue":{"value":{"amount":"+0.8063388466835022","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":"Q1750301$6696C1BC-EADB-4A0A-87B2-DA6448259251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a676162e9ec6f3e378a38ff63fe4aa1a8f94e33e","datavalue":{"value":{"entity-type":"item","numeric-id":792998,"id":"Q792998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"317f3fac4a91a9bb748c55131a66a371bb0dd096","datavalue":{"value":{"amount":"+0.7692930102348328","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":"Q1750301$E3DADCE5-EFFF-4115-8E16-3CBC382C3885","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":"35064215db66117b7f887cee5c4abde74c3de0ae","datavalue":{"value":{"amount":"+0.7628268003463745","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":"Q1750301$820B0AAA-F2E6-499C-A786-1A0D91215542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"568111dc1658f484ef8490f6f3504b9d5ade599f","datavalue":{"value":{"entity-type":"item","numeric-id":2377050,"id":"Q2377050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61570a02af7af5e3edc23f035acd8e2bb973e0e5","datavalue":{"value":{"amount":"+0.7623305916786194","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":"Q1750301$1E4D440E-78E6-41BA-B3C2-3D753E4111EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1750301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1750301"}}}}}