{"entities":{"Q792998":{"pageid":794846,"ns":120,"title":"Item:Q792998","lastrevid":48702985,"modified":"2026-01-05T16:12:30Z","type":"item","id":"Q792998","labels":{"en":{"language":"en","value":"Axioms for actuality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3855065"}},"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":"Q792998$8FB7B689-B81A-413A-B29F-A399A870F9D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61c3e892d3cc5745e85acda0a7d904a7c80f77bf","datavalue":{"value":{"text":"Axioms for actuality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q792998$91934E7B-5591-4041-B542-050DA3593CE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e32ef06b387fef9ad696962b42f02e3b6dd3e4bb","datavalue":{"value":"0538.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792998$8CF33B67-AA53-440F-A14A-E4EC6992661C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a0dd8a9e90d81e6aafa6c343f1cf67793aef4be","datavalue":{"value":"10.1007/BF00297575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792998$E54B54F8-0DB6-4610-BF21-AAA2E6A9AE5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c1bc37e6e094a826bbeabaa496f463e54be767b","datavalue":{"value":{"entity-type":"item","numeric-id":792996,"id":"Q792996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792998$71509CC6-0105-463A-94B2-4EA53E6D49C5","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":"Q792998$67ABFD3F-A838-4E11-BC73-0AE267809B48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q792998$B02174B6-DD1B-4893-8B26-F93B8D89925D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2dd245f9cef8c594c0cee4490cc1b68432e63a2d","datavalue":{"value":"In this paper I present the model-theoretic semantics for modal languages with an actuality operator; I axiomatize the valid and the strongly valid formulae of any such language. I then prove that certain conditions on modal models which are easily expressed using quantification over possibilia cannot be expressed in quantified modal languages containing the actuality operator in addition to the usual necessity operator.","type":"string"},"datatype":"string"},"type":"statement","id":"Q792998$1EF3258E-A915-4368-A79B-E95CBB1FE04E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792998$DAC621B7-60E6-4CBA-81D8-0E5682D67339","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8aff19a9191e304c766380e9808b76da3b0156a0","datavalue":{"value":"3855065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792998$6CDA9BE1-9916-4BDF-BBD7-A588126D3100","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q792998$EDBEF968-AC1F-4C77-948C-33AD381E7463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b31587c96a5c5ccf3b12532333e2056e86a541","datavalue":{"value":"S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q792998$71411BEC-7CE1-4513-A902-BA36F4DE21FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b67bd83b9f347f8a9452e213742c50e4b1efec3","datavalue":{"value":"necessity","type":"string"},"datatype":"string"},"type":"statement","id":"Q792998$AED9C7BD-5A8B-4ED9-A7DA-CBC9B0891132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1102df33c2f91cbc70c4a4bb16cb12d66147f680","datavalue":{"value":"Henkin construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q792998$42B48DE6-359B-4A11-94D7-4BBE61B2929E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1a530ebebfe9d67cc01e23074092169ca8f759","datavalue":{"value":"model-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q792998$417A5A8D-E220-466F-8433-EEBEE7D87FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"219891913542b70acd255067faf534af5de6862e","datavalue":{"value":"actuality operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q792998$40B22064-911C-4333-B3F2-C0D0AD11C5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8df961e7d8423b0aa46efcc14546cb721eb7f343","datavalue":{"value":"modal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q792998$4B2237E4-41B2-4EE9-99DB-BCDE01D5DFA2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9fc394b23e44cce64afa832640d5c9a63fdc88e8","datavalue":{"value":"Q114694740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792998$67007E00-E0A2-46DC-BCD0-FD1B402A2860","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":"Q792998$FE2442CD-DCAE-44A2-B87C-636471569B8B","rank":"normal"}],"P223":[{"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":"Q792998$2FC933E5-068C-459C-9CF7-D050E7C16440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a73cb08d2241c15801016c9f2e93aa3828b1dd0","datavalue":{"value":{"entity-type":"item","numeric-id":5686019,"id":"Q5686019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792998$3C20BB29-2FF0-4ABF-8241-E1C249963FD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88f7f95f379f1a230930f0bc1a490efd2994dbfb","datavalue":{"value":"https://doi.org/10.1007/bf00297575","type":"string"},"datatype":"url"},"type":"statement","id":"Q792998$1374469B-FE24-4C2F-BAD1-1B4F94B59A29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5eaf1bd5771e5d2620e04a45efea79ccadc990a9","datavalue":{"value":"W2001088407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792998$25A70541-F88B-44E4-8854-2A2753EA981F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42debe6fdd085c527fcd22a4e950f12d6ee9221c","datavalue":{"value":{"entity-type":"item","numeric-id":5365499,"id":"Q5365499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a40138fb0a39e81efd14494b3c5a4059e067d53d","datavalue":{"value":{"amount":"+0.8270191550254822","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":"Q792998$150C2B40-2BD2-418D-B3C7-EB1784B8C31F","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":"ab245ee21b2096dcdfdef9fa5be469b491816ce5","datavalue":{"value":{"amount":"+0.8197213411331177","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":"Q792998$A11A98D6-CA9A-4E2A-A358-374E0DE34FA8","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":"a668f0420b41c835dfc153d61fc66b12f99f284e","datavalue":{"value":{"amount":"+0.811764657497406","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":"Q792998$57725E09-0393-4B62-B3E0-AD8E64597931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ac4c4e2f1a36402acab977bca7453c650807a1","datavalue":{"value":{"entity-type":"item","numeric-id":5947380,"id":"Q5947380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de448ab1ea2e8964558aa2ec3393a43eca9f93b9","datavalue":{"value":{"amount":"+0.8042990565299988","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":"Q792998$F3B63A80-A8E5-47B2-9DB2-E2B66C91B0A1","rank":"normal"},{"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":"b696ee691ec71676f86fd8c654f5c42fe1bbe191","datavalue":{"value":{"amount":"+0.803186297416687","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":"Q792998$E05C5EDB-DA8B-4CC2-836F-35FB5B2D6054","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:792998","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:792998"}}}}}