{"entities":{"Q1407589":{"pageid":1418329,"ns":120,"title":"Item:Q1407589","lastrevid":67372443,"modified":"2026-04-12T17:11:18Z","type":"item","id":"Q1407589","labels":{"en":{"language":"en","value":"The modal logic of the countable random frame"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1982512"}},"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":"Q1407589$DC0F6C29-C811-4486-9CDB-6A270716DCE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d980b292ebfad5c1404cf34477a5f125f925c6cf","datavalue":{"value":{"text":"The modal logic of the countable random frame","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407589$2188B6BD-383E-4F31-9AA0-36751E430D58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdcc5ed40a33b3f18599da911930f406366b3feb","datavalue":{"value":"1038.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407589$CE71581D-BC1E-4515-8259-909D5712CB1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407589$BF6D0D64-96C4-4D49-BB5B-8F28B66C6DA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7841ad7b9ae7c226290004bcfbbaa03cb759e96","datavalue":{"value":{"time":"+2003-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407589$EF813D74-F289-4C14-AC7E-A41673ED0E88","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a3f5dbb59a0a7c7a385f296a0554dfb60b52fb3a","datavalue":{"value":"The modal logic \\(\\text{ML}_r\\) of the countable random frame, which is contained in and ``approximates'' the modal logic of almost sure frame validity (valid with asymptotic probability 1 in a randomly chosen finite frame), is studied. A sound and complete (canonical) axiomatization of \\(\\text{ML}_r\\) is given and it is shown that the logic is not finitely axiomatizable but has the finite frame property via filtration, and that the finite models are easily recognizable, which establishes an EXPSPACE upper bound for the complexity of its satisfiability. Special modally definable properties expressing non-existence of certain partitions, called kernel partitions in random frames, are discussed. It is shown that there are modal formulas corresponding to simple partitions of this kind, which are almost surely valid in the finite, yet fail in the countable random frame.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407589$84F1C7D4-8957-4948-9000-43F67E7628AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407589$69047B12-1AB0-4C59-A412-BC017F5D02C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407589$D4BAC600-405F-4FB7-A93E-1F9AF3206DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407589$5B456BA2-2451-4CB8-B720-7635E8CA88C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407589$82C0A060-4A04-4158-9F88-83E303C8D283","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae8f51a0fa552a0f53dc101df2d3fe1d59b43b65","datavalue":{"value":"1982512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407589$20C96879-9EC3-4259-A2CA-347B61778A38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407589$DA0987C6-92A5-4C49-BCAE-33CC250A5227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"140faf0cb514cdce725ad73b48818de3a29a7f09","datavalue":{"value":"countable random frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407589$ED2B3AF0-7AAF-4CD2-8DEC-A72102396AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407589$15FB59BA-2928-4E5E-8D9C-856E0DEFBDE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407589$001BEC43-98C5-4F84-94DF-EB0D19CCFBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3fa9a751487606fa7aa60b1c6c01a7e88dd50eb","datavalue":{"value":{"entity-type":"item","numeric-id":269731,"id":"Q269731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407589$2D7FC321-96E9-4F2B-9384-8E095B91BEDF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407589$456E9DC2-BE1F-4F93-A8E6-460560C88330","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":"Q1407589$D4579DC6-3EB6-4019-9D7B-CA1D65FEFDFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9b1c4ca07f4212d4f424d23820df9c764825ed6","datavalue":{"value":"https://doi.org/10.1007/s001530100135","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407589$046C13ED-4D32-423C-9A0E-5827FF4C4ED6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a1eb125816a85ba4548421049c7bb4e0ab71e5e","datavalue":{"value":"W2065234465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407589$A135CF41-9DE1-40F1-A2CE-22726F6EA7E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97a2dc84d62e9a58109f7d11e33663c3514cf43d","datavalue":{"value":"10.1007/S001530100135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407589$3C776646-E613-4E1D-8231-24F379A920D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2029fea5db30cba2d4004c334c8c9b17598da6c","datavalue":{"value":{"entity-type":"item","numeric-id":1337692,"id":"Q1337692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe4aaff19f1fb0702ce57f9a74a93dcdc77e622","datavalue":{"value":{"amount":"+0.7710151672363281","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":"Q1407589$5384F926-57EB-418C-BFA4-E241207590F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c87dd66e300a0dd95f3d9f97d7abf8f5954e1d02","datavalue":{"value":{"entity-type":"item","numeric-id":3718681,"id":"Q3718681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c5e0c2c929481db9d0af19dbf2f9b92a08a86a6","datavalue":{"value":{"amount":"+0.7582579255104065","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":"Q1407589$D57013B0-7750-4965-AA53-42B04952954B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2452e6d968f5a14ac00f4ffa4e3099a812985b8f","datavalue":{"value":{"entity-type":"item","numeric-id":3574988,"id":"Q3574988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4c911e0afab852e05836b74a1018d0e394f78fe","datavalue":{"value":{"amount":"+0.739648699760437","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":"Q1407589$FBEB0769-1A1C-49BB-9517-9CAD2392BB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f556ceba7f8323c08165da8cdd4f0a442f1ce98c","datavalue":{"value":{"entity-type":"item","numeric-id":4501147,"id":"Q4501147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e1f235409146dcc3c5ddda1a02f9ee9b0525c2","datavalue":{"value":{"amount":"+0.7239922881126404","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":"Q1407589$7D1B0A4F-C3EB-405C-9876-FB949B22B3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1e986817c9395337ea09381cad7944d529303a","datavalue":{"value":{"entity-type":"item","numeric-id":4250042,"id":"Q4250042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e1f235409146dcc3c5ddda1a02f9ee9b0525c2","datavalue":{"value":{"amount":"+0.7239922881126404","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":"Q1407589$0C32FB52-311C-4F96-8B5D-207DFA9DD9B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The modal logic of the countable random frame","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_modal_logic_of_the_countable_random_frame"}}}}}