{"entities":{"Q1777372":{"pageid":1788114,"ns":120,"title":"Item:Q1777372","lastrevid":48484444,"modified":"2026-01-04T23:25:46Z","type":"item","id":"Q1777372","labels":{"en":{"language":"en","value":"Natural deduction for first-order hybrid logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2168173"}},"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":"Q1777372$9CC58815-5026-4E4D-953D-5E0FF97107FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d47a8aa6beefa6f12b4568f4b26b3e67e130819","datavalue":{"value":{"text":"Natural deduction for first-order hybrid logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1777372$7EE224A5-0A13-44DD-A81C-E08ED98FC94D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"806cb78eede98c766afca2a6dd1f0dc10917019e","datavalue":{"value":"1068.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777372$BDAC468E-9AE9-48C1-B0F3-4EBBA5F2CFFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87abbbe5ddeb1a2defb2085fac3663f2b985b91e","datavalue":{"value":{"entity-type":"item","numeric-id":243302,"id":"Q243302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777372$63F9A51B-12DE-478B-B51B-388EB56B1C9D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777372$0ABF1EEC-441C-4D74-85FA-A3A8C71BFB59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c64595f4f39ba5aa8c317730455f9500451c9c2e","datavalue":{"value":{"time":"+2005-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1777372$1D4A031D-C649-49CE-B4C5-6789B52EFAFE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f7e172dbcb29d690610f96e97418f85d0e4deb8b","datavalue":{"value":"This paper is the first-order counterpart of the article ``Natural deduction for hybrid logic'' by the same author [J. Log. Comput. 14, 329--353 (2004; Zbl 1060.03036)]. In the present paper, a natural deduction calculus for first-order hybrid logic is studied. The underlying language is based on a multi-modal first-order language with identity and non-rigid designators and contains satisfaction operators \\(a:\\) as well as the hybrid binders \\(\\forall a\\) and \\(\\downarrow a\\), where \\(a\\) is any nominal. Also, geometric theories are taken into account. The results cover soundness, completeness and normalisation, as in the paper cited above. Finally, a Hilbert-style axiom system is introduced and proved to be sound and semantically complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777372$793B4DAA-56C9-477C-9988-62C9DA8D7581","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8746a658e51bb356ff2ae7f1a374c72606388a51","datavalue":{"value":{"entity-type":"item","numeric-id":190300,"id":"Q190300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777372$639185F4-1B5A-4C99-BFC2-8CCD09D645D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777372$D1163628-6361-4B7D-88F8-970E1C72C011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777372$083938E2-2CAC-4FA1-ADAC-0E5AB61C4F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777372$9E28740B-225B-4575-8372-508790A6C20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777372$C787AE2B-27EC-417D-8247-1154C6CD44E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04f533baaadbf89a8adbf31e1f6200e28ff4aaaa","datavalue":{"value":"2168173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777372$4F41B540-9703-4234-98CF-7B87A4BF4F34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777372$DA82C89C-FCD7-45D0-8132-6C8A5A3021BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777372$0BFAEF1A-7884-412C-BBC6-BB9961D829CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777372$AC6F6262-4B02-4570-8DC1-DCA3DDD36214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777372$F0642513-7F41-4A78-A384-6568B591496F","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":"Q1777372$2D15C3AB-BA8B-46D1-8C08-8D6CD2E1C0F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97fb8d359a1f49fecd265d44c902b62d494dff7b","datavalue":{"value":"https://doi.org/10.1007/s10849-005-3927-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1777372$A6EA98C0-071A-49FD-B832-DB29E04114CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1af145665b8036e1c1c7407f93641f79da64a27","datavalue":{"value":"W1984084123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777372$390BD030-8A90-4A4C-BB81-57C79560EF4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dcdf4fa3f609872bc7185903b048f0923efceb7","datavalue":{"value":{"entity-type":"item","numeric-id":1412840,"id":"Q1412840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777372$89F5C5C3-FAC4-47AD-B311-AC9DA2061949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5cae3a6dddd4b0039b4d60187b9cfa833039fc","datavalue":{"value":{"entity-type":"item","numeric-id":4381865,"id":"Q4381865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777372$13EF40E1-B107-4FA2-805F-F4FB73B9E44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3861e1b6b829f113377b9087b8fbad5f100e9e53","datavalue":{"value":{"entity-type":"item","numeric-id":1289108,"id":"Q1289108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777372$388BD972-0D99-465E-8538-45F07F3D3F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a3fbe5dc19781d8cc61fa707bddca7c6943cc26","datavalue":{"value":{"entity-type":"item","numeric-id":4952029,"id":"Q4952029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777372$9B1A29DB-8F2B-4EF4-9479-B32F2142F267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cc5e622126ec3d570da92e5e13cb53e0d0ea06","datavalue":{"value":{"entity-type":"item","numeric-id":4412850,"id":"Q4412850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777372$D8748106-AF16-40FE-B896-F2A169A8CBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777372$658FD20F-4434-433C-B344-EA12B3465A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acd8917e8e8859c82902b28da3de5787ab448661","datavalue":{"value":{"entity-type":"item","numeric-id":1857362,"id":"Q1857362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777372$0A1CBEFF-66BE-4E64-A719-06F68BA125DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b696b21e9499f989300a49908e9fc7a459a1b9","datavalue":{"value":{"entity-type":"item","numeric-id":4820470,"id":"Q4820470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777372$B07000D7-8713-45D9-9AAA-5B5CADD13873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"044bf00925be11db1d400fa08e7bf4de0d452f67","datavalue":{"value":{"entity-type":"item","numeric-id":1424966,"id":"Q1424966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777372$3A4CBB59-2ED9-4B3E-842A-E184D6243CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81197bcd468bcac12d7ca64f6e8d9c1b4a403ef4","datavalue":{"value":{"entity-type":"item","numeric-id":1777372,"id":"Q1777372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777372$032C8578-92D0-4249-9061-854F91108420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777372$1D5A998A-7E07-46F7-AD4E-94491BD1009A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b4d384854c2e13796ad2c51119423fa143380d","datavalue":{"value":{"entity-type":"item","numeric-id":4789451,"id":"Q4789451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777372$C0BE4AAF-8256-4054-9CCD-049A4AABCE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777372$8DB60F65-B54D-410E-8E89-BE01A8B52D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777372$9D1D7310-5A4C-4D54-9992-42CCD1EF82CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a399fb721cf3282f89efb64e756344649295a060","datavalue":{"value":{"entity-type":"item","numeric-id":4394920,"id":"Q4394920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777372$0B80F992-78B1-4D36-ADBC-3D733DA18842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777372$03F651B5-8E65-4DE0-8E3C-C559DBBE277F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777372$F4A3F7D1-449E-4639-8494-205ADDD37897","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4a49148cc027c58e011d6ca27760cd34d6b6c6b","datavalue":{"value":"10.1007/S10849-005-3927-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777372$623CA689-E315-4B14-A9C9-E0DDFC8CC069","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b994e8d0c268ef50f80de07a97940db98d609a","datavalue":{"value":{"entity-type":"item","numeric-id":4820470,"id":"Q4820470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac77b3ba25f9d11b175d416add4e098525b42c1","datavalue":{"value":{"amount":"+0.892677366733551","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":"Q1777372$A8501437-C3AB-4B4E-81B4-53741CB68697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e18215e6aaab067da7d24ea47c533fd8badc44","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957f015cd96b59f7ef1aa68454902011ea2a49b3","datavalue":{"value":{"amount":"+0.7657947540283203","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":"Q1777372$8EAB6CF1-D3B6-4E78-BE96-8893BFBC6F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016f2e7132a797ec59ff79678ad1db1e19b2ad09","datavalue":{"value":{"entity-type":"item","numeric-id":5172130,"id":"Q5172130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f7035af19a0917b36fd3c3d49f4a713234aec0","datavalue":{"value":{"amount":"+0.7639856338500977","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":"Q1777372$1C37D743-3246-4BBD-B582-7820D51BAD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d52c0b399ff4ca4b0b18f94741e5a01b4a7f2628","datavalue":{"value":{"entity-type":"item","numeric-id":2180522,"id":"Q2180522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"214b3ebf7d37f267a80b41fea5db2b1e6a82c1b9","datavalue":{"value":{"amount":"+0.7540768980979919","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":"Q1777372$DD7B8AA7-E6EB-4005-A215-1A8AF509D3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef373fc5f463e56073ebff023e0d00e9eb5b1392","datavalue":{"value":{"entity-type":"item","numeric-id":5446314,"id":"Q5446314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f69eb871bac0c5adce26f12edea30f0ec460c8d","datavalue":{"value":{"amount":"+0.75242018699646","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":"Q1777372$C907D706-8E2D-4FB8-A48F-274776B3C091","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1777372","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1777372"}}}}}