{"entities":{"Q1368913":{"pageid":1379653,"ns":120,"title":"Item:Q1368913","lastrevid":67492719,"modified":"2026-04-12T18:22:26Z","type":"item","id":"Q1368913","labels":{"en":{"language":"en","value":"Kripke bundle semantics and C-set semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1071488"}},"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":"Q1368913$D985EC84-501D-4BE1-906A-07B125ABD991","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d39c365e02f369f2e75c7b1aba13260f3a35cac","datavalue":{"value":{"text":"Kripke bundle semantics and C-set semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1368913$78D8A434-F463-4480-B472-9F23DCC71230","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2cdff8dc183ce7d76bb1b3e87736d1a8f509b84","datavalue":{"value":"0893.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368913$083C9944-B3BE-4730-8C04-23A6248602E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd1eeabdc91385106f837441f507f42dd56797de","datavalue":{"value":"10.1023/A:1004930400566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368913$F97D8702-DDE1-4B43-A284-E5BED0A12741","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfde7d72bbae351d3f5d2f8d8b3a0e0698d4694b","datavalue":{"value":{"entity-type":"item","numeric-id":1368912,"id":"Q1368912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368913$7AA04641-E3C7-4286-AE7D-D85337F8D595","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":"Q1368913$8B891C60-5DBA-4609-A76D-60C361389214","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2c2c7293c0b144623de2383a87e60bd6d031a75","datavalue":{"value":{"time":"+1998-07-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":"Q1368913$D136A700-4052-4D4E-9965-DF638D7AF5DE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7ce6323ecd59141feb28895719f1546f6b4de1e5","datavalue":{"value":"The paper shows that the first-order modal logic Q-S4.1 is not complete with respect to Kripke bundle semantics. It follows that C-set semantics is stronger than Kripke bundle semantics for predicate modal logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368913$8A464F3E-41D0-4920-925D-C2BEA8181AC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368913$4AB64ABB-E1B6-40B0-A3B9-8DD92F95985C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368913$D7E5B316-1723-4490-8820-5877E84664CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"737e7b8ad521771dcc077da3ff7566ec058541e9","datavalue":{"value":"1071488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368913$59BC7516-0BC9-49F7-8197-9C9D383BB54B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368913$130505FF-863B-4A95-96A0-5AD970DE29DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8ca31375df4b627a356c3785061fcd8ee6995d","datavalue":{"value":"Kripke bundle semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368913$0671CDE6-5DBE-4B00-9EBF-5B79B1D0F57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49bdf1fedb6053b89fc501c529738490f3782b8d","datavalue":{"value":"C-set semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368913$B1E65C43-DC75-41B7-AA41-DFAE90A15E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61d463eda95195d447f16e3d6067cddc9366707f","datavalue":{"value":"predicate modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368913$231032A3-8739-4D80-AF91-24EA75692767","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"603f9ee8942cd3c164aaecde91e2743415201170","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368913$22D766F3-05BC-4CFC-9E15-9956496CE4F5","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":"Q1368913$C3900B5C-59B6-406F-BB8F-F53FEEAD7BF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a1c0a944163d32eb9f9f6bef93f2a381bf342ba","datavalue":{"value":"https://doi.org/10.1023/a:1004930400566","type":"string"},"datatype":"url"},"type":"statement","id":"Q1368913$B9601145-5201-47DC-9102-183F669925B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6a9852e58166945af47a6ecb3cc000cbf4c6fc7","datavalue":{"value":"W1524115387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368913$07C2F208-7A8D-4E54-92DE-73C8E14F9A8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d23a84a831721a7754e784d45ca446dbf86c518","datavalue":{"value":{"entity-type":"item","numeric-id":4366129,"id":"Q4366129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58bfb820120fbb28f87fda87c478fc935c49a2cc","datavalue":{"value":{"amount":"+0.9095321893692015","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":"Q1368913$8C03950A-8A8A-4183-A17E-03FBA9DE3313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d78a0fda2c3883c9b3e074cbf2a4cc173484521f","datavalue":{"value":{"entity-type":"item","numeric-id":4694215,"id":"Q4694215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4f0327b98bd5aabf37cb45b3dd07cc2a5b3a68","datavalue":{"value":{"amount":"+0.7861126661300659","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":"Q1368913$0A9C00C3-29B5-452E-9FF8-7EDBE0FB85E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fec4e7deecb0f7024e304691aad87c74e55c5a9","datavalue":{"value":{"entity-type":"item","numeric-id":5311050,"id":"Q5311050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4edb914a5b613b4c1ba245a18406c3117be338","datavalue":{"value":{"amount":"+0.7565280795097351","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":"Q1368913$15F5D624-9641-4887-A245-A5C5FC74F626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ea295b6964e64538eee52a64ad63b98be2f59b","datavalue":{"value":{"entity-type":"item","numeric-id":3984427,"id":"Q3984427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ae57075f8ac731e14659d643b0bec1461b375b","datavalue":{"value":{"amount":"+0.7535367012023926","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":"Q1368913$5DECCBCC-54D9-45A5-B7D4-09E9E9F26195","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kripke bundle semantics and C-set semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kripke_bundle_semantics_and_C-set_semantics"}}}}}