{"entities":{"Q2701985":{"pageid":2712730,"ns":120,"title":"Item:Q2701985","lastrevid":47583688,"modified":"2026-01-02T03:44:50Z","type":"item","id":"Q2701985","labels":{"en":{"language":"en","value":"Labelled deduction for the guarded fragment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1574463"}},"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":"Q2701985$585FA4D2-58A1-4F60-9331-2A16E630A98D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2730eb7bf2185072a90dcedd46a737b218ddb053","datavalue":{"value":"0979.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701985$C1C67E53-C137-4420-A164-29EFB055396E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda46022a2dfa23ca54f42f27aec1d9c70ca91fd","datavalue":{"value":{"entity-type":"item","numeric-id":190281,"id":"Q190281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701985$77A782C5-21CA-4808-B64C-D73B06733C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"709d2f7c0623248e05e6feee291b66d1df38f714","datavalue":{"value":{"entity-type":"item","numeric-id":236473,"id":"Q236473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701985$CBAF20F7-0967-4CA8-B8B1-3F1183AA8766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"869ec75fe4ab50e2248051b39fb15b7d7aa039e0","datavalue":{"value":{"entity-type":"item","numeric-id":2060750,"id":"Q2060750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701985$135AEAAF-FAB0-4049-9650-5DB5C53BE5B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e1d7063ecd638677848b844accef77290c7ea4","datavalue":{"value":{"time":"+2002-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2701985$C2D26A82-CD97-402F-93CD-31B36676A3B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701985$B54944E4-AF24-4549-842E-36D850AC6A96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c808012dc2ded8cae776a479f44792328a963a3","datavalue":{"value":"1574463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701985$3BEA4060-E786-48F0-B629-FA097C06E5FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701985$C143D43F-F608-4FDE-8C01-30D23982A3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701985$0EC51AD2-D411-4F2D-84A1-2D8EBF2A8ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580520fce237640a876b8d180acd2f68d76de1b5","datavalue":{"value":"labelled deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701985$BAFFE8AF-8613-4CEC-9195-0182CC6F5AFB","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":"Q2701985$768BCBB4-2F2C-4EAE-972A-BE395967743D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"670d15a2215962891c5aaadab9ad4924615116ac","datavalue":{"value":{"text":"Labelled deduction for the guarded fragment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2701985$A15EE44F-EEA9-4EA0-BAD5-E324DDEEFA1E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c080474f97f11b6a66bbd26d8ae83781df8a06b","datavalue":{"value":"The tableau calculus \\(\\text{LC}_2-\\text{TAB}\\) which is sound and complete with respect to local square logic is presented, where \\(\\text{LC}_2\\) denotes the modal logic \\(\\text{MLR}_2\\) interpreted on the class of local squares, where \\(\\text{MLR}_2\\) is the modal logic of binary relations. The system is a labelled deduction calculus in the spirit of those for modal \\textbf{S5}. This 2-dimensional modal logic allows one to simulate different other modal logic, like \\textbf{K, KT, KTB} or multi-\\textbf{K}. The calculus is strong enough to decide an interesting PSPACE-complete sub-fragment of the guarded fragment, which is generally conceived of as the true modal fragment of first-order logic. A PROLOG implementation of this calculus is available through www.NEWLINENEWLINEFor the entire collection see [Zbl 0940.00024].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701985$0EC8AD7A-784D-4CA2-842E-814303ECEE45","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":"Q2701985$095449C2-16C9-4EC5-9C1F-0C11C4C39B8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2eb112e87c092eb5940611d81b21d0a52eada1b","datavalue":{"value":{"entity-type":"item","numeric-id":4934884,"id":"Q4934884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2a6102f72c2c2212fbe8792a7cb3dc4d5390fbd","datavalue":{"value":{"amount":"+0.8492107391357422","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":"Q2701985$2C71128F-C7BD-49B7-8DFA-8F69BF626B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39be0ff7a94ae10fc754662618a70836ed9a9173","datavalue":{"value":{"entity-type":"item","numeric-id":4610317,"id":"Q4610317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0aff1c9ebd9026094a930b392591c811283963f","datavalue":{"value":{"amount":"+0.7665446996688843","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":"Q2701985$6DF32123-0935-4C3F-BDE0-42F417B1D786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490635eea00a529d2308f724680db1f19cfda3ce","datavalue":{"value":{"entity-type":"item","numeric-id":4381865,"id":"Q4381865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd6e796c60275801ebafd433fe0461629c90872","datavalue":{"value":{"amount":"+0.7378643751144409","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":"Q2701985$1B17E7C8-43AC-429F-9225-556F2A848BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ff5d99859d56a51a2f483313b2b39fe7115b7ca","datavalue":{"value":{"entity-type":"item","numeric-id":4412857,"id":"Q4412857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"930aead908ed0841b77bcd0720ef266ca6b873ae","datavalue":{"value":{"amount":"+0.728347897529602","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":"Q2701985$957981C4-8398-4D3A-9FA8-ED3B4A515B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349e598ea70636f5ecfb3462aa7a7210d4a4e045","datavalue":{"value":{"entity-type":"item","numeric-id":4822152,"id":"Q4822152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1342eee733173fe092acd8d0075de419e13cf0","datavalue":{"value":{"amount":"+0.7281327247619629","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":"Q2701985$141B391A-30CB-45AE-9588-0EBAFEDE68EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2701985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2701985"}}}}}