{"entities":{"Q688796":{"pageid":690645,"ns":120,"title":"Item:Q688796","lastrevid":47201011,"modified":"2025-12-31T23:58:10Z","type":"item","id":"Q688796","labels":{"en":{"language":"en","value":"Maximal Kripke-type semantics for modal and superintuitionistic predicate logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 438516"}},"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":"Q688796$52D472D2-B64F-4839-8E2B-458B7C6B89D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"320ab292d30309f609408699eb46edc631a184c8","datavalue":{"value":{"text":"Maximal Kripke-type semantics for modal and superintuitionistic predicate logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688796$9686C452-A4C6-4A3B-9E39-01CB20CE05A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eab166c63a7ac740a3ff96f2693d93b18e215ca4","datavalue":{"value":"0794.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688796$A837E0A0-79CA-46AD-AE9A-1E16270F22F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5635ab655eab8be0371d9d9def6f117cd1bc5eaa","datavalue":{"value":"10.1016/0168-0072(93)90210-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688796$3EBA0355-90F6-4994-A8DB-F74B48FE3005","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688796$703A9AA9-1A6D-45F0-9FB6-F29F2F0FBED3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9dc1d0c12e6b3029895af224a3159efd0243462b","datavalue":{"value":{"time":"+1994-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688796$E20BB233-A827-4DCC-9F9A-D1252CC2C2D0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9a448bf148ab8c4787b4d4c45d4d152c29d40fcf","datavalue":{"value":"Many non-classical predicate logics were recently found to be incomplete with respect to the corresponding Kripke semantics with which the propositional case is complete. This has given rise to several generalizations of Kripke semantics for the first-order case such as Kripke sheaf, Kripke bundles, and functor semantics. In this paper the authors generalize such notions further. For intermediate logics and modal logics including S4 the semantical objects called Kripke metaframes are defined in a very general setting featuring ``abstract \\(n\\)- dimensional vectors'' which play the role of \\(n\\)-tuples of individuals together with some transformations of these vectors. The soundness conditions on such metaframes then are shown to be characterized purely in relational terms without any appeal to non-classical formulas, that is, the class of metaframes thus characterized is maximal in the semantics. Another remarkable feature of the metaframe semantics is that it allows us to carry on completeness proofs in a uniform method via canonical models. Thus the completeness theorems are obtained for the first-order versions (with or without constant domain axiom) of canonical (modal or intermediate) propositional logics in the sense of van Benthem. Representation theorems in the last section show that in some cases metaframes are equivalent to `Cartesian' ones in which all the vectors are \\(n\\)-tuples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q688796$AA952A7F-3560-4324-8C28-FD30A29772CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688796$C43E496A-A4AA-4DDC-8063-9313FE8F1F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688796$DCEB24B0-4894-4CEC-8064-735595D44B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688796$E02CBDA9-2F63-4C5B-BD65-A83953501D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688796$B4FA82D7-659E-4755-92A2-76BE96D44BEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a606ef81571647750b85bdf6789c50b64aa081e","datavalue":{"value":"438516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688796$4B0E2202-BBA3-4163-8AD4-F7F3DAD57BB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4675a74524331a8e00fee8d0a123bcb4e843ca78","datavalue":{"value":"modal predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q688796$6B4C30E7-A6F1-4E3A-9CDC-CE8AE1CAB5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68257f6b06a1a76dee78d93f061b5cd7267505a5","datavalue":{"value":"intermediate predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q688796$46A1DC06-D197-447F-9BB2-A39A53380C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q688796$A00D67C7-D143-4390-899D-56BA4187E8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q688796$450F3153-B4C3-4165-A0D1-E86E7A666A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q688796$32223E0D-4CE9-4C76-BE42-2E9E963FC0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc0820ebcc89abdeb029677e85339c18757a557","datavalue":{"value":"Kripke metaframes","type":"string"},"datatype":"string"},"type":"statement","id":"Q688796$3DD88065-B8F4-4D70-97C6-255BAF4AA04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f2c19f911179bd48de63cc4a5c8166d20f9271d","datavalue":{"value":"completeness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q688796$4FDCA9D9-E567-4431-91B4-64A326544410","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e5c7a0fa17b322a9e2262053ffff4fc6798d1e","datavalue":{"value":{"entity-type":"item","numeric-id":731483,"id":"Q731483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688796$C3330253-866A-4F6D-AFA8-EA75660B6F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b54eb6f24cdec251693dac073683f53f8dacf64c","datavalue":{"value":{"entity-type":"item","numeric-id":472807,"id":"Q472807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688796$0A929EBA-0614-4A69-BE2F-FA40A1A393BF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688796$B53604E6-AB58-4373-9D7C-B1C21818B920","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":"Q688796$F699F21D-1F40-43B6-B7DE-8B2225D2DDD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"647a67252ca67732a14006081210f522884c0d94","datavalue":{"value":"https://doi.org/10.1016/0168-0072(93)90210-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q688796$45C351E2-807F-4056-BAEB-C35A2FC44482","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b93dd7cefaf43c617929b0c6237b132427cb4efe","datavalue":{"value":"W2041930157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688796$4FACB582-5AEE-45A5-839E-5FC260C52034","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688796$BBB33A6F-1D2F-4AD5-8F26-DD98369F680C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec61348cbc7897006cbf43596adc1b3a59cad5f3","datavalue":{"value":{"entity-type":"item","numeric-id":3691638,"id":"Q3691638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688796$793FFBD2-625D-4386-B497-6FB556803C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688796$EE37A735-5E0E-4678-BCFB-76ECCE053881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03afdf275ccfd5f11cb597005a9be741183e0c58","datavalue":{"value":{"entity-type":"item","numeric-id":5580926,"id":"Q5580926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688796$CC940326-9867-4039-B23F-9303A7C0A2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07696fca1aa99d197789cc76962015833ce12ac8","datavalue":{"value":{"entity-type":"item","numeric-id":582278,"id":"Q582278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688796$9B5C2939-0003-47E3-9161-CB148EB9A194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a0757381cad586f0ad8d728ce1e186da6479a9","datavalue":{"value":{"entity-type":"item","numeric-id":1207339,"id":"Q1207339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688796$3227E446-4AB1-4FC9-AAA9-59425BE96C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821ee4ebee9996e0e65a2825268a79270ff5cef2","datavalue":{"value":{"entity-type":"item","numeric-id":3984427,"id":"Q3984427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688796$A5795541-29F3-4541-AF3B-831BD8B42D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d2065d700f2825fdfa933ca5dcce9965a089dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1264137,"id":"Q1264137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688796$BE3CC28F-3B93-41B0-B74E-270C2B883EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019bd4c75dfd12975ef47facd414f509a089febe","datavalue":{"value":{"entity-type":"item","numeric-id":3669380,"id":"Q3669380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688796$7731C3E8-E63D-4D91-B27D-30A49D5BFBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688796$86B94F4B-7997-4DBE-96E6-07CF82D9D431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951ab841fc2d6409fd3ef21cbd438d82955c369c","datavalue":{"value":{"entity-type":"item","numeric-id":1101436,"id":"Q1101436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688796$670F4E3B-41E4-47EC-93F0-1B9C37499D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c474a90a944e7cd909ccf37b4b52d8545b3851c9","datavalue":{"value":{"entity-type":"item","numeric-id":4694215,"id":"Q4694215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688796$B1173A3E-845C-4D56-809E-58CCDC9B8748","rank":"normal"}],"P1643":[{"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":"2195894b19b2e064c2237aecde1a38ad4a07c2fb","datavalue":{"value":{"amount":"+0.8434348702430725","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":"Q688796$E2A0C819-DDB7-46B0-9312-157192B1C81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc0d3defdf4688b61f02b8a131384e87cf9d289","datavalue":{"value":{"entity-type":"item","numeric-id":1208113,"id":"Q1208113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04140e9aab6ed3089822e9e1048a3afc36052659","datavalue":{"value":{"amount":"+0.822532057762146","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":"Q688796$134D5768-5C89-4347-A831-0B0CB2CA9FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e34bd2b1d44a4ebd7e034b4a1275cfe6eafa1011","datavalue":{"value":{"entity-type":"item","numeric-id":4440544,"id":"Q4440544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bda26c2b889d022459e8f19d09f2eff6452f319","datavalue":{"value":{"amount":"+0.8118446469306946","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":"Q688796$4D84DFF6-1F9A-4CB0-A9EE-0B76D4501044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a4c7b8adbca0d83722bdce0f41b61e57a204872","datavalue":{"value":{"entity-type":"item","numeric-id":4834486,"id":"Q4834486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba7eb8a2da739e5012ccaf317e5db32572fdefb","datavalue":{"value":{"amount":"+0.8089315891265869","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":"Q688796$8E2AC44D-FF59-469C-94B2-699D4D9CD15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e12ba556c830815c40b8efd4a610e6563489c3a","datavalue":{"value":{"entity-type":"item","numeric-id":817691,"id":"Q817691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b8ca413544584bf32c4a080c9a0e8f5fcafc1b","datavalue":{"value":{"amount":"+0.8089314103126526","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":"Q688796$4A48188E-E1ED-492D-A8D0-5E5D481AB60F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:688796","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:688796"}}}}}