{"entities":{"Q761443":{"pageid":763292,"ns":120,"title":"Item:Q761443","lastrevid":64175949,"modified":"2026-04-11T18:08:33Z","type":"item","id":"Q761443","labels":{"en":{"language":"en","value":"Correcting the tableau procedure for S4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3885868"}},"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":"Q761443$55A9D216-3967-4998-8E1A-B91C511EB3FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6bdaaeffc34435ac5b54341f117814843f85110","datavalue":{"value":{"text":"Correcting the tableau procedure for S4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q761443$76091B38-9707-43EF-8353-78DE9460A33C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e2808a7b7181d3180c03d98c794977a8cd8ccb7","datavalue":{"value":"0556.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761443$384A2F1C-D622-4C81-8AE1-A418F61C1F84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac7c097d330e740e7362c4dafab24f0c2ed3d2c2","datavalue":{"value":{"entity-type":"item","numeric-id":761442,"id":"Q761442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761443$07B8504A-DCB3-4317-9263-88AD8229B16E","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":"Q761443$4B88EF72-CDC1-44D7-8B3F-30C902D7E1A1","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":"Q761443$C69BE7EA-4295-4C0B-829A-4EEB8FE63773","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"010e6718f82cdb8b916398313673ca117451fa28","datavalue":{"value":"The tableau procedure for normal modal logic is given by Kripke's semantics. S4, which defines the accessibility relation as reflexive and transitive, raises a special problem (infinite tree and then blocked tree). In this paper, the author attempts to correct shortcomings in this procedure. A modified restriction on blockade and equivalence class membership is stated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q761443$7CA7B6DA-99ED-4CC6-9D83-FB6D69F48E87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761443$4F9B16A1-FC3D-4F69-BEFA-61B40295CECC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4a84c5681983166394777c79d5eedd01edd00b7","datavalue":{"value":"3885868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761443$5EC75BBB-0B2E-48A8-A203-3ADE22EC9403","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352b47832fb03100e25e83677864fa588dad4e8f","datavalue":{"value":"possible world","type":"string"},"datatype":"string"},"type":"statement","id":"Q761443$F1F10EE1-2130-4F95-B294-F4E5F5FFCB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"402f5fd9f02670e1c83cecf2daa70e2f76c85e6f","datavalue":{"value":"tableau procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q761443$843443A7-E46A-4E71-B6BC-3C0E5B7AAC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b6d81377bb9fe493e0b31a63d9717069578b5b3","datavalue":{"value":"normal modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q761443$0FEF78AD-8274-4069-A435-F3C9E55F60ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbbcce5d958a0130862ba486d8886f3214101b0c","datavalue":{"value":"S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q761443$3EA6A5EF-8466-429B-8902-8540DC32CE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e475e39ca2f67e91824f8af5f1efdd80a7cac2","datavalue":{"value":"accessibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q761443$1630C0BA-0C99-4F26-A332-089C4A49FC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69989c48d9bd119d5daef7813381c9fa86280bff","datavalue":{"value":"blocked tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q761443$5B897A22-7474-451E-9E3D-4791EA087390","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a99cc43754442bd871d0e4e19845916a0a9ba924","datavalue":{"value":{"entity-type":"item","numeric-id":1230772,"id":"Q1230772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761443$812A2F7C-AD81-4AFB-A1EB-23E23BCFB695","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":"Q761443$B0541E9E-DC4F-448C-A4D3-3FE768D11CCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf054c39b56391c7de7082c55d58f38942c4576f","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870631","type":"string"},"datatype":"url"},"type":"statement","id":"Q761443$C5675933-C27C-4BFD-8221-B8DFA80E3056","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"247f2fb6d538b759b1c9588cdc5e286eb044e176","datavalue":{"value":"W2007330806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761443$62D99655-DB96-4701-AE39-D4012C977C53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d5aa73f8f6937917b5431cd24259666e56cb41e","datavalue":{"value":"10.1305/NDJFL/1093870631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761443$3EE20B2E-C375-4DBD-9E3F-5E1CD15872AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768ae8d5e6736b0ad8518caad406d2c275b058c2","datavalue":{"value":{"entity-type":"item","numeric-id":3344174,"id":"Q3344174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31b7c2c9e1f678f22b41836c5e453d38df02ebf4","datavalue":{"value":{"amount":"+0.787507176399231","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":"Q761443$52C15CD8-44FF-4EE1-A82A-9BE22F91D990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1309b394aeb49b4009e41cd5bfa02b4d6b3f0d","datavalue":{"value":{"entity-type":"item","numeric-id":3406695,"id":"Q3406695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57920c78bcaa491583c7be2013c77a9f8228c8a2","datavalue":{"value":{"amount":"+0.7854940295219421","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":"Q761443$3E9A4002-0857-46D8-86C5-669C24AF3633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0346cb07c892f61a7f5b431ff4ebc45d81b80c","datavalue":{"value":{"entity-type":"item","numeric-id":3410675,"id":"Q3410675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bb1497fb041f740ba26d8f9d872429d116ca1db","datavalue":{"value":{"amount":"+0.7728331685066223","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":"Q761443$61AA955D-E765-4592-A4FE-72AA3C66412D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2909b202473d63654eda0ec49f4a80a5a89bf1b6","datavalue":{"value":{"entity-type":"item","numeric-id":2571516,"id":"Q2571516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fecd8888cdcd3a7fc95b676a1a1cf7802922c199","datavalue":{"value":{"amount":"+0.7647304534912109","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":"Q761443$7F5C1596-6609-4292-B8B6-7D0A8BD60B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5c5f16066f600409ef43b7ef2bf3e168436d94a","datavalue":{"value":{"entity-type":"item","numeric-id":3126407,"id":"Q3126407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e2e9b4d81af1cf1ea8dc071e2a3240aaf660d6","datavalue":{"value":{"amount":"+0.7613580226898193","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":"Q761443$CC554E2C-5B41-4B4C-979D-57BB0F79177F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correcting the tableau procedure for S4","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Correcting_the_tableau_procedure_for_S4"}}}}}