{"entities":{"Q687154":{"pageid":689003,"ns":120,"title":"Item:Q687154","lastrevid":63476040,"modified":"2026-04-11T13:24:51Z","type":"item","id":"Q687154","labels":{"en":{"language":"en","value":"Theory matrices (for modal logics) using alphabetical monotonicity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 429181"}},"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":"Q687154$0B407CDF-CB75-4DAF-9048-471E35817AC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e110f764ee76a35de0a0ee6c87715d8ea25dd437","datavalue":{"value":{"text":"Theory matrices (for modal logics) using alphabetical monotonicity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q687154$865A504F-1CEB-4E70-BD5D-E478EA94E4EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e425d0221e1a5d0aee3ab7550eb26c0729f2dfd","datavalue":{"value":"0801.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687154$94B90C07-9409-4849-A2B7-822A4CE5B924","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aeea6ccc8cf83462ef1e4804290ade13765c42af","datavalue":{"value":"10.1007/BF01058390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687154$615195D2-1EBC-432B-BCBC-7D3A2E84C1EA","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":"Q687154$F8FFEA2E-2E8B-4A0C-80C1-888F2D91FAC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27e26720c3a5ab9bcb71917b45ea4b2894dbb467","datavalue":{"value":{"time":"+1994-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q687154$037D55BA-7314-439F-B6E7-F859E445E30D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"75205ece8d05aa871078ae2c70793a2a4a0f3edd","datavalue":{"value":"The aim of the research reported here is to show a possible way in which the trends toward incorporating information about a certain theory into general purpose reasoning and, respectively, using an accessibility theory explicitely to enable theorem proving in modal logics, could be unified by a matrix characterization of validity. The method proposed by the author extends some techniques already known and is essentially based on tableau systems introduced by Smullyan in 1968. The structure of the paper can be described as follows: Some necessary preliminary basic concepts and results are presented in the first sections. In the third section of the paper, by removing some redundancies in the described system, a series of simplifications are demonstrated. Next, it is argued that if alphabetical monotonicity holds, the theory could be considered globally rather than locally. The derivation of a matrix characterization of validity is obtained in the fifth section. A series of comments concerning the extent to which the proposed technique is suited for automated reasoning in modal logics, and also some concluding remarks are given in the final part of the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q687154$452AB3EC-F5F7-4034-BECC-8C10067B9CB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687154$66412251-8D03-44A3-AAFD-384C8BB590FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687154$35843750-5F49-402A-B7C1-B0AD8B6E0761","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"563ca458dc9d21f509cb38704126b7e71e2fbea2","datavalue":{"value":"429181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687154$87EE3275-F7D6-480E-BDC2-B2C5B5E17E62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd72428bb0c10f9d233733680fe8ea8f7bc7165a","datavalue":{"value":"first-order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q687154$19604DD2-86A7-4540-AEB3-1CD0BEF474F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6ec76791de2f147d24f1e21db0b60559246e5a6","datavalue":{"value":"general purpose reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q687154$308ED05D-3863-48CF-9037-32A6309060AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q687154$9EDE23E7-7936-4A6E-8D40-9D1F144D5009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q687154$1ABFC4C4-334D-4D84-8F6E-59525198E279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5c3b0d70eca431e02540faaa6b2db26ec7ab989","datavalue":{"value":"matrix characterization of validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q687154$185C45A1-A7BA-4113-A95F-F1EED9D143F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96bbc11051e7df69761c0a9fe452d973e56df1e9","datavalue":{"value":"tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q687154$A8A6D220-E38D-40C6-905F-3748906FE821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb9195cb2b826105c62145d21cc69f74e7779ef7","datavalue":{"value":"alphabetical monotonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q687154$6E332158-ADF7-489B-BE25-90AACA6E2978","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e54e172c70c88d6a2ec63311e0c847ccd29c983a","datavalue":{"value":{"entity-type":"item","numeric-id":1203765,"id":"Q1203765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687154$307BF938-2810-41E6-825D-6DE34F35E50A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"00dcf12b9a602d9c5eb5566a233851af0f0ed4fd","datavalue":{"value":{"entity-type":"item","numeric-id":469832,"id":"Q469832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687154$02BE869F-4F98-4778-B365-93BF563FB28B","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":"Q687154$FF1DACA6-3901-40D0-B197-5438806432CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed4e2b73edd0e2661ebb75822eda29ecb9eb63a","datavalue":{"value":{"entity-type":"item","numeric-id":3906484,"id":"Q3906484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687154$E94BC552-531D-4BE8-ABEC-F92921EE6EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb4aa8dad638334a86cbf0de6c1439e4250b0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687154$94FF1D4A-BBE6-42E7-BA34-FDAD6D1864BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf4bd6f65936497199af77b410cbe7fc34d2615","datavalue":{"value":{"entity-type":"item","numeric-id":5663380,"id":"Q5663380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687154$68927888-EB20-4FC8-9CBC-B2216917C7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687154$C85A64D6-D343-4265-B0E9-A22FAFBFD0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab9ab6ac8eefe81efac39f2c2240f25d98080e5","datavalue":{"value":{"entity-type":"item","numeric-id":4028792,"id":"Q4028792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687154$0BC867EF-B98C-49F5-B565-5E6FE1A2A684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687154$CDCF97BB-B215-46F0-A8C4-CF7431C6F4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c0f5d8160663dcf3896a10288f16c979160b94d","datavalue":{"value":{"entity-type":"item","numeric-id":4095908,"id":"Q4095908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687154$A6CE45A8-435B-4177-A683-47B37A2C6F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"012dab46df65700a88d5a165d577cb3792fae6c8","datavalue":{"value":{"entity-type":"item","numeric-id":4287512,"id":"Q4287512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687154$677DDB2B-21C5-4257-A9FF-CCB01A3CFEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687154$C0C2525B-1507-4791-A354-B9EE35DA912F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ee3b057142576093bd9e66364057980fafc0e4","datavalue":{"value":{"entity-type":"item","numeric-id":1821564,"id":"Q1821564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687154$5B380B76-30AF-4828-BE14-275B8B1699DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0ebde8e5bd794a574f76d6cbd6fb3d19eba67cc","datavalue":{"value":"https://doi.org/10.1007/bf01058390","type":"string"},"datatype":"url"},"type":"statement","id":"Q687154$9B6D740E-BDA8-4AA4-8F6C-9DA8F10E1372","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b622655c3daf7e6fde05bf66e1fe8f974c27d462","datavalue":{"value":"W1997262001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687154$09E771B0-3AB9-4DF6-B5CC-8E6F26556429","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d171749b95c3772aae8ba8502515039aa10c706","datavalue":{"value":{"entity-type":"item","numeric-id":3999539,"id":"Q3999539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0aca530e362aca87df272c36b8aa09edc2ed425","datavalue":{"value":{"amount":"+0.7892295718193054","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":"Q687154$0329B055-42FB-4F02-897C-4247D66F28A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"826c5697af1008ecd9ce3bec15eb36d6b323db91","datavalue":{"value":{"entity-type":"item","numeric-id":2254571,"id":"Q2254571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b343ce6f17a665f3930e2dfa8f2f3583aac06b","datavalue":{"value":{"amount":"+0.788396418094635","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":"Q687154$C2DA201F-4E8D-4672-B2A2-92789477F720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84438d5aed8c29b1d3f94ee74c7d97904996eca","datavalue":{"value":{"entity-type":"item","numeric-id":3789523,"id":"Q3789523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbcdac11c29b93d1903963b93942863a584bc4d7","datavalue":{"value":{"amount":"+0.7326982617378235","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":"Q687154$044CEBD1-85CA-4B10-84EA-9132412BFF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f483db1953400e1a1848522b33b168f97ddd6d","datavalue":{"value":{"entity-type":"item","numeric-id":4610320,"id":"Q4610320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2193bc96d91a29f795d830980736c76f3fbc3ef1","datavalue":{"value":{"amount":"+0.7255781292915344","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":"Q687154$B8D8C941-D8E8-414E-A96A-C16E108BACF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e3636c8a0dc9aa0acdf7b737fb94a9401a36b3","datavalue":{"value":{"amount":"+0.7132919430732727","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":"Q687154$D7BF2EE1-1A84-406F-840C-87111CD0AC7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory matrices (for modal logics) using alphabetical monotonicity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theory_matrices_(for_modal_logics)_using_alphabetical_monotonicity"}}}}}