{"entities":{"Q2377050":{"pageid":2387793,"ns":120,"title":"Item:Q2377050","lastrevid":51760082,"modified":"2026-01-19T21:30:46Z","type":"item","id":"Q2377050","labels":{"en":{"language":"en","value":"Actuality in propositional modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182002"}},"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":"Q2377050$C5AE0E2C-B57B-49FA-B25A-F22F342259E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"661ce78c58cb29b8d9083b894f7d83245ab608bf","datavalue":{"value":{"text":"Actuality in propositional modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2377050$E182F397-FCB5-41C7-9305-5823A6BC5549","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86c52303bab01c3e7ebb4a6cbc317445be3cbfa8","datavalue":{"value":"1278.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377050$0FEA75A4-FA8F-49E7-A154-9EAF9877B681","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1ac78888996e3a1626ceb2939329126773ec180","datavalue":{"value":{"entity-type":"item","numeric-id":2011651,"id":"Q2011651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377050$A0DFBDC8-2124-4D10-A30F-75375F59032A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2321104d3886c08f41bc8f0b120d9f337d67cb2","datavalue":{"value":{"entity-type":"item","numeric-id":1632056,"id":"Q1632056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377050$31E96969-AF39-4B5F-9D7C-834AB6034C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6874d9554109ddfa631a3bcceed3f011aa3addc3","datavalue":{"value":{"entity-type":"item","numeric-id":704040,"id":"Q704040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377050$6593E643-31B7-4CE5-B372-EFE0EAE6732F","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":"Q2377050$602E968F-5DA9-404A-A264-98AAAA7C6113","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3597cb1f80734925febdf12e95bdb9febd2257af","datavalue":{"value":{"time":"+2013-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2377050$9F5B3E60-3441-462B-9745-17A9B29E2331","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9be48cfb7a054143d0d1af3257cdd70595a45781","datavalue":{"value":"The aim of the paper is to show the redundancy of the actuality operator A in any propositional modal logic characterised by a class of Kripke models as well as by a class of neighborhood models. This is in contrast to the situation in quantified modal logics, where the actuality operator is not eliminable. This is a strengthening of results obtained by Crossley and Humberstone, and by Hazen for S5, as well as by Stephanou for weaker normal modal logics.  The results in this paper are proved by semantical means for classes of models with distinguished `actual world'. It is shown that for every formula \\(\\varphi \\) in the language with A, there is a formula \\(\\psi \\) without A such that \\(\\varphi \\) and \\(\\psi \\) are materially equivalent at the actual world of every model in the respective class.   From these semantical results the authors extract a simple way of axiomatizing the actuality extension of any normal and classical modal logic. In the appendix an alternative proof is provided of Williamson's result to the effect that the compound modality A\\(\\square\\) behaves in any normal modal logic between T and S5 like ordinary \\(\\square\\) in S5.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377050$2ED7F001-B350-4ED0-85E4-4A3317351446","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2e7f704932fd75b813eb7e18ce6ce9f1d9ea52bf","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377050$E1477B1E-C7C4-45DA-B162-B3F80C4FEEC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377050$B8B969DA-CAC8-42D3-9A9B-B38FA565BCAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa03ff3acee7425d4c7c53b29d73decb53a46d8a","datavalue":{"value":"6182002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377050$32A59EBA-3878-42AD-92FA-FBBE692C9C87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377050$A89EED3E-D592-4673-BAA5-6DE7EF105E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b891f105dc76f0bc41d82dd21f0588adf9d0f834","datavalue":{"value":"actuality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377050$09D8EED7-61DF-49F8-86D0-08791403C7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377050$704A1C52-2B19-4444-9335-7733A4417F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e616653c4d17082ffb5c84b53755c2fb54e1b1e5","datavalue":{"value":"neighborhood models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377050$459C0F5D-BC0C-44ED-A2D5-B3B7112065A0","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":"Q2377050$3C5239B7-5D03-4B13-9ECD-776EF91BFC69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8beadc293983bbb83bb487d44fda1bb5d8049bef","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9395-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2377050$C564BB7D-E717-46D2-8B88-752A67A94E5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39626a6499611485740b1b1200cb4800e8529b8e","datavalue":{"value":"W2140743943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377050$2AC7FA26-E1E8-41BC-97B6-29E65F5AB864","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"214ea5429cfb1cf01ebfb0f082c091f886e9321d","datavalue":{"value":{"entity-type":"item","numeric-id":1610620,"id":"Q1610620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377050$572E354C-4F25-4866-B352-83F46F05C0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377050$91C93F23-7F8C-448B-BD43-1BEC1BEFE8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1886aeef73dd47a8ce559c63bf9a63ee355478","datavalue":{"value":{"entity-type":"item","numeric-id":4170702,"id":"Q4170702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377050$7D273E42-9384-4596-BA81-E0520A1C6B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8a04935aaf94f21c4aaa30357d3a56ae51bbd5","datavalue":{"value":{"entity-type":"item","numeric-id":5935787,"id":"Q5935787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377050$6DF61394-E222-41C9-8D26-A9666406FDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45e17441fe1475c2ed95fb2159c5225af60448d","datavalue":{"value":{"entity-type":"item","numeric-id":1233866,"id":"Q1233866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377050$D901B7AA-9303-4D01-A5BD-8D3E64DBDC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9b6d1724f4160b889c7d28e5dc192020568129","datavalue":{"value":{"entity-type":"item","numeric-id":1220491,"id":"Q1220491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377050$0B2EDF50-D455-47BE-A84A-6B1866F35417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377050$DCEBE703-93DB-40BE-BF09-CAA7973F24C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371429f546a4764331068bb46ddde929cdbbb450","datavalue":{"value":{"entity-type":"item","numeric-id":5546768,"id":"Q5546768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377050$3ED1F134-A246-496F-9360-B6C20D846A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377050$8A374AF0-7E76-45DA-BF61-FAEF01D0E4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa2409bdfe5341dfca287f038b62d1c9cf5f6139","datavalue":{"value":{"entity-type":"item","numeric-id":5947380,"id":"Q5947380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377050$796C2746-40F0-464D-BFA1-907AAF7ADBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff6885c2720ea703b05a04707e242e58fda59a5","datavalue":{"value":{"entity-type":"item","numeric-id":4440552,"id":"Q4440552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377050$63F71229-62CE-405E-81A6-89CC0FA11AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf2c4ab9a58bbd8251b5ab9a4e16da41a632225","datavalue":{"value":{"entity-type":"item","numeric-id":2704319,"id":"Q2704319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377050$5CEFB901-2C84-43DE-AC18-58A4D3FBFA4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df2a2ff91b5cec08aec50b3fd51b66944200068b","datavalue":{"value":"10.1007/S11225-012-9395-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377050$F6AA9794-8D33-4D34-8243-4C9C1E53EB1C","rank":"normal"}],"P1643":[{"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":"60f8fb7d91fd0f51449b10dec3a4908771119423","datavalue":{"value":{"amount":"+0.7984748482704163","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":"Q2377050$22C9FD51-B0B9-487F-9597-9760BA603BFD","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":"652687f673adeae525220787eab8e3ee61627721","datavalue":{"value":{"amount":"+0.7862342596054077","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":"Q2377050$910DB2C7-EF75-4DD5-8E3F-DC2EFDF1E4C5","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":"7e5c23bf276c96efde97522c8adac4eae57b922c","datavalue":{"value":{"amount":"+0.784710168838501","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":"Q2377050$8F3C2FEA-7DE4-40B7-85C0-BC9054793C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29aa9461e1d62d01c396427040ea77b8a7a9a59a","datavalue":{"value":{"entity-type":"item","numeric-id":5935787,"id":"Q5935787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974902cf9c944250e596c2c51bd7c1881ede2ddb","datavalue":{"value":{"amount":"+0.7819117307662964","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":"Q2377050$B02F2541-8B7E-4DD5-9751-FC6B1D68E0B2","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":"193fa3d1ac1b52ec83b7bb3cbac11829878b0557","datavalue":{"value":{"amount":"+0.7785738110542297","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":"Q2377050$3C49E78F-9D41-4DAC-A93E-432EC2FFE8D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2377050","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2377050"}}}}}