{"entities":{"Q1006488":{"pageid":1008336,"ns":120,"title":"Item:Q1006488","lastrevid":69407040,"modified":"2026-04-13T06:47:40Z","type":"item","id":"Q1006488","labels":{"en":{"language":"en","value":"A hybrid logic for reasoning about knowledge and topology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532537"}},"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":"Q1006488$0B3E6FBD-AA5C-47AE-882B-F78C3CD04D48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45c603de3d494352d991dec6e74f33313875898e","datavalue":{"value":{"text":"A hybrid logic for reasoning about knowledge and topology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006488$BC51CD4B-3509-4756-86CB-F61EC94A171A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a009ed4e6097fccc02e7b5cb2355c461f85cb6b5","datavalue":{"value":"1202.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006488$CE07C2AC-6C7C-4C8D-BA51-3BA1FE375996","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2e96a8166b825564aa7d3e45e288dcc7e8fe930","datavalue":{"value":{"entity-type":"item","numeric-id":190300,"id":"Q190300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006488$0C28CE4A-68B1-4B32-AC8A-5BE203B0F080","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":"Q1006488$189D2C54-3D05-4216-B481-A337910ABE72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ab3bf6018fd8cb2b8743b7e1a22f45853c9b86","datavalue":{"value":{"time":"+2009-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1006488$3487AF6E-C6B5-4BB3-A74F-B16F5F3B86FC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e4c8d6471469c4886c5b765366950965329bf433","datavalue":{"value":"The paper adopts and extends the system TOPOLOGIC, introduced by Moss and Parikh in 1992, and presents a hybrid language for subset spaces containing nominals. The extension consists in introducing two kinds of nominals and the global modality in order to model satisfaction operators. The nominals refer either to unique states or to subsets of states. The language is thus apt for modelling topological aspects of knowledge with respect to a neighbourhood of a given state. The author deals with an axiomatization of the set of all subset space validities and proves the soundness, semantic completeness and decidability of this hybrid logic. Finally, in order to study union and complement-closed subset spaces, the author extends the system to deal with algebras of sets. Here, another modal operator, called complementation operator, is introduced and corresponding soundness and completeness theorems are proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006488$4C4399C9-10DA-4E5B-BB72-B1C94017827F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b80b872ecd8e1f109cb135912ea917a47bca5a2b","datavalue":{"value":{"entity-type":"item","numeric-id":514085,"id":"Q514085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006488$8264C358-2D26-4445-8EA4-F7CA9880083C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006488$2842F8F3-0A0F-489D-939F-47D53745A278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006488$4B91FB06-6512-439C-88B5-55D1F30E4CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006488$C85C6FD9-CB26-4F2A-85B7-9CF4C68A2279","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd24178731521c5d931e1d24bb70c563ad9a4b50","datavalue":{"value":"5532537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006488$7C923F94-C12E-42C7-972E-8868041377AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006488$E1807199-EDBD-4F1F-80E4-5FBC9AB6AB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2072ac50d117917e9672f0db3614f9749d72c621","datavalue":{"value":"logic of knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006488$A6886ACF-D4C1-4E05-BAA3-04C3500C5A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44ac83f48c1744f5ad2d52f32fe508defcc07a3a","datavalue":{"value":"topological reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006488$A2D2AE00-29CE-4E12-A661-27B9DA3F849C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f9acec83b949f0de6b458e178ed26050832c382","datavalue":{"value":"nominal structure for subset spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006488$E5E2E353-FE1D-4A47-BC9F-FB2F11FDF503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe86f2e44dcafd2855d2c9b282b383d23378a9d1","datavalue":{"value":"algebras of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006488$03FE2222-B1AB-49C3-8973-E45C6C432D58","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":"Q1006488$5637A1C3-9ADA-4369-BC22-D6B940F4986D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60a6265942ef6521df584687689e53421aedf75f","datavalue":{"value":"https://doi.org/10.1007/s10849-007-9043-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006488$94055726-F086-4ABA-AB43-4D3C031EB28A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da17f0b0ab6041f543053afcb3f7aece4a64d2a2","datavalue":{"value":"W1991979428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006488$31217A79-000B-479F-A344-AE7F59E82403","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"070e2e89c3486a2c9d067a01dcc011ff74bd361e","datavalue":{"value":{"entity-type":"item","numeric-id":4487266,"id":"Q4487266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006488$D3D35A07-2206-4265-8326-65BB031EDF74","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":"Q1006488$A313F5CC-3841-47F0-ADFF-1FDD3C625081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b00a92b4e0f4a6f2c10346ae58f94938b1b4077","datavalue":{"value":{"entity-type":"item","numeric-id":5522002,"id":"Q5522002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006488$38BEAE59-18AC-414E-81CE-49910630A0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92f0209397207ef23d26a6818689d3e0e2b46f11","datavalue":{"value":{"entity-type":"item","numeric-id":1919762,"id":"Q1919762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006488$5583E412-185C-4EED-BA6F-FE91091DAD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006488$61058822-81F2-4842-93E9-E387E29C1FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8def53423246f737639e318d27a40d9e4b4c1867","datavalue":{"value":{"entity-type":"item","numeric-id":1372362,"id":"Q1372362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006488$F162EB1A-A0B2-4F55-A974-C09E8E79194C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd07c8c2f9878f9f857c84c20058c06055afa14","datavalue":{"value":{"entity-type":"item","numeric-id":5312979,"id":"Q5312979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006488$39CC6B58-2D71-4770-BB3B-0469CEAD1D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4515f5e7077209868fab07adb34d0538bfa3e0d8","datavalue":{"value":{"entity-type":"item","numeric-id":4823801,"id":"Q4823801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006488$35E820A1-BFBD-47FB-B8B4-8AF6802D4ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8bd243c5287fe1fb9fbc84e2b930877836dac78","datavalue":{"value":{"entity-type":"item","numeric-id":5492882,"id":"Q5492882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006488$03005C67-4AA8-4B29-873B-5005F2F33BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c442a4c09ec966d2ea6e0099dedada2b2ef4b5","datavalue":{"value":{"entity-type":"item","numeric-id":1611248,"id":"Q1611248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006488$7938CCDD-92F7-4068-862E-4AF20BE9ED8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7e395f60fa571f57b8d6590ba4f0e21039d1460","datavalue":{"value":"10.1007/S10849-007-9043-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006488$F0348C72-B12C-4E70-B22F-399048AE9EA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61aa1c04b92d30cf289036687c3ffa7d1be9b17a","datavalue":{"value":{"entity-type":"item","numeric-id":5312979,"id":"Q5312979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd6316a94b7753eef2f915fc83f572e4504bfc3c","datavalue":{"value":{"amount":"+0.9020619988441468","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":"Q1006488$6BBDFDD2-D844-402B-9A6B-4AF82B589FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc358c3df1a85ec73fee85c82d94bba5a05c6493","datavalue":{"value":{"entity-type":"item","numeric-id":4823801,"id":"Q4823801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a042097f44538ee4318d553b135d921351a430","datavalue":{"value":{"amount":"+0.8494396805763245","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":"Q1006488$21EFE63A-B297-4AE9-9FE7-F5D8A3724777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b959fcf846a48577590579774108669062afef85","datavalue":{"value":{"entity-type":"item","numeric-id":2901196,"id":"Q2901196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ecaf389f61e5167e9be68f493e9fe320b70aa76","datavalue":{"value":{"amount":"+0.8092321753501892","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":"Q1006488$48773584-079C-4988-81D6-840BC4A31145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa861d9c7b7ad5d36c3b8b524c52643fef7aba8","datavalue":{"value":{"entity-type":"item","numeric-id":5483002,"id":"Q5483002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a07561646c40b31f0dd3a6560f47ce74270ad1e6","datavalue":{"value":{"amount":"+0.8090332746505737","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":"Q1006488$98124C2E-E608-493D-8C4A-E6B688B51355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed14cd87ca018b2bab7d0cc9da6fa811fb70da3b","datavalue":{"value":{"entity-type":"item","numeric-id":1919762,"id":"Q1919762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5a98101a23be48c9cdb9d206ba43a0184dcc7a3","datavalue":{"value":{"amount":"+0.8078513741493225","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":"Q1006488$C42629C1-5C54-461B-8DB3-6E22ED8B0135","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A hybrid logic for reasoning about knowledge and topology","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_hybrid_logic_for_reasoning_about_knowledge_and_topology"}}}}}