{"entities":{"Q1208113":{"pageid":1218862,"ns":120,"title":"Item:Q1208113","lastrevid":66349806,"modified":"2026-04-12T09:30:42Z","type":"item","id":"Q1208113","labels":{"en":{"language":"en","value":"Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 165911"}},"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":"Q1208113$A91EE1DD-851D-485A-8E23-9775824F83EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"956cdd7e5e58b32434af26f06e8c6f6c81bd229a","datavalue":{"value":{"text":"Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1208113$59EF4695-463A-41E9-8887-989E64A768E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b9dce2ea9e97b91d7f09323e86130aadefae858","datavalue":{"value":"0772.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208113$AC7FAFC9-5480-419E-89C7-719C256C69BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d936b7a9f24c4da3fe367978c24cdc5c6e13459d","datavalue":{"value":"10.1007/BF01053062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208113$0118B087-7301-4FCF-82E9-C7732B8348CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"678f9d8722da2c449efa0fd10df3f6f4cb5bcc23","datavalue":{"value":{"entity-type":"item","numeric-id":1208112,"id":"Q1208112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208113$270CFBA9-311B-4CA4-A7CA-2169F249AFFC","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":"Q1208113$1B6EC9BC-B3A9-48A5-9C0B-B542452D284D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1208113$C4E9132E-9B48-4435-B93D-E89353AC14E8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3e7d29b768f828dfddaa18cbbf947ccbdcedb0f1","datavalue":{"value":"The paper gives the first examples of rather general completeness results in Kripke semantics for intermediate predicate logics. For an intermediate propositional logic \\(J\\), \\(J_ *\\) denotes the smallest predicate extension of \\(J\\). Let \\(K=\\neg\\neg\\forall x\\bigl(p(x)\\lor\\neg p(x)\\bigr)\\), \\(D=\\forall x\\bigl(p(x)\\lor q\\bigr)\\supset_ .\\forall x p(x)\\lor q\\). The subsequent two theorems generalize some earlier partial results of Ono and Suzuki. Theorem 3.7. If \\(J\\) is tabular, \\(J_ *+D\\) is strongly Kripke complete. Theorem 3.9. If \\(J\\) is a subframe logic, then \\(J_ *+D\\), \\(J_ *+K+D\\) are strongly Kripke complete.   The latter result is transferred to some kinds of confinal subframe logics (this notion was introduced by \\textit{M. Zakhar'yashchev} [Algebra Logika 28, No. 4, 402-429 (1989; Zbl 0708.03011)]): Theorem 3.11. If \\(J\\) is a confinal subframe logic determined by a class of finite frames \\(\\{M_ i| i\\in I\\}\\) such that (for any \\(i\\)) every subset of \\(M_ i\\) having an upper bound contains a maximal element of \\(M_ i\\), then \\(J_ *+D+K\\) is strongly Kripke complete. (As the author observes, D. Skvortsov has recently proved that 3.11 fails for arbitrary confinal subframe logics).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208113$F1C684E4-81F9-4954-86AA-73675305B56A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208113$BD09969A-947C-441F-91EA-58977CFBA8DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0463d41844f17972f544eb0cb61de5363da15ea1","datavalue":{"value":"165911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208113$30C08457-6083-440B-93CA-F26EC644CA4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c7a185a26dd5aa359b9550336661a01f6748490","datavalue":{"value":"Zakhar'yashchev's canonical formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208113$36365781-2598-4DCA-A7A8-44DFF440276E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208113$02F1ED90-643C-4680-8DB5-B907294551A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208113$E4673A02-2D70-43FE-AC9A-5019A9404B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd59af15ea010a801b5df83d78fefecdd883b86b","datavalue":{"value":"intermediate predicate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208113$D15ED4DE-7F7A-4B2A-80E5-A9A06C41BD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c3862a68e5490665a65f1d64bd98354b7f8d61","datavalue":{"value":"confinal subframe logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208113$0DFD8E41-F098-4248-AA0C-283CFCF8615A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ae4017aa96a330483a287de24949040c35da164f","datavalue":{"value":"Q114694097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208113$D616B81D-EEBB-4025-B138-FA2C1EB9701D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad7bfad8d872a3ea91c9dd215d7f4f38e1e07b24","datavalue":{"value":{"entity-type":"item","numeric-id":472807,"id":"Q472807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208113$025660C9-5E53-4A99-97A9-DAE1224ACD1D","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":"Q1208113$0226949C-8592-4923-AF5A-39742A5873F1","rank":"normal"}],"P223":[{"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":"Q1208113$E2DA55ED-FF7A-4DAD-AE59-79F95B88ED1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e2315a5bfee579bf47ae0bf7c08aecb76d3cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4777279,"id":"Q4777279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208113$EA6DF03D-84B1-43D1-982A-AA8299A8EA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a21c64ef90c253f5ccf479b20911f9df3bd6b1","datavalue":{"value":{"entity-type":"item","numeric-id":5570908,"id":"Q5570908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208113$5B57F8AA-BD84-4909-8225-0D6B8E499B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9c0420aef247f44d1eec39528b10ee9fac6006","datavalue":{"value":{"entity-type":"item","numeric-id":5565105,"id":"Q5565105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208113$E2862631-6E5F-4792-A37B-0C0F374D8FE4","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":"Q1208113$7E96F613-52B8-4941-9B57-DFC8049BB8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35cf2593590aecca43a7f8a6e13cb4417cd5c2ff","datavalue":{"value":{"entity-type":"item","numeric-id":3830979,"id":"Q3830979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208113$8A0CAA00-A53C-4D75-9864-860F71291858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f84603bd3370799423234a6bd5915bfb4bfd7e6","datavalue":{"value":{"entity-type":"item","numeric-id":3032233,"id":"Q3032233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208113$842CF491-F32C-4D6E-9DB8-00FB9EB21B54","rank":"normal"}],"P1643":[{"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":"59242b34d65adcfcfd74a080020186bb7ee9445e","datavalue":{"value":{"amount":"+0.8323177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208113$255BDBA3-E450-4F8C-9F0E-28315DB2FD02","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":"ab97986f0dc85ee2c8bdfe185c840546ab3c1fe6","datavalue":{"value":{"amount":"+0.82823557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208113$F431B5A0-38A6-4FAF-9C1C-541DCFE6EB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a50fcc111fc68c92ee3a469c1d3975f3fd7d435","datavalue":{"value":{"entity-type":"item","numeric-id":3830980,"id":"Q3830980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91e14c46f73056a933af0c8a2d0f0c0b112687b0","datavalue":{"value":{"amount":"+0.826802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208113$C143C146-ECD5-42E8-9378-CDDB72657261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d67063b2c37fbf80d12f7dfaa0eebca4f0db919","datavalue":{"value":{"entity-type":"item","numeric-id":4025000,"id":"Q4025000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6079001cbf2836af4edb6c8908904ede8023157c","datavalue":{"value":{"amount":"+0.801867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208113$89810598-85ED-4D36-83FF-F86541702943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eea9e30a2aba55171c506fd3e0a835872d48fcd0","datavalue":{"value":{"entity-type":"item","numeric-id":1580656,"id":"Q1580656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb5c46f347a2b8795283f7e118c21d005efd9f51","datavalue":{"value":{"amount":"+0.8003173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208113$3C2BB0D9-1EE4-4208-9010-42ADBA19AF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"659bcdb0ee7672bee565ffb95bbd261481c74112","datavalue":{"value":{"entity-type":"item","numeric-id":4807691,"id":"Q4807691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9474745101ed91f4807b8f9f474378607fa2e22b","datavalue":{"value":{"amount":"+0.7795297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208113$60FCC338-4ECE-48B2-96D8-552C56E6AE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d400a2101df99ccddeb9e787e59b1632025d6b","datavalue":{"value":{"entity-type":"item","numeric-id":1119624,"id":"Q1119624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2447660080f2d413087f2fe0b2ac4e3a6c3dbd0d","datavalue":{"value":{"amount":"+0.774648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208113$9508CB63-A58F-4D2B-A985-AEC57D3222FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a402cab32c67386f854d1347f9981c692df3a0","datavalue":{"value":{"entity-type":"item","numeric-id":1061734,"id":"Q1061734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4455e6675d24819921ba8db61e051d33cffc5faa","datavalue":{"value":{"amount":"+0.7650286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208113$D8C86C6C-F8E1-4C16-AFA2-8A548806D735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4204f808519bc56b4b155cc0d66be7c49cec5f79","datavalue":{"value":{"entity-type":"item","numeric-id":3342540,"id":"Q3342540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"466632c1df52a29161a873d51b47ab74ba198e40","datavalue":{"value":{"amount":"+0.7589675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208113$80842F6A-41F9-48EE-B259-0413B33786BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b8ea170d6f53ada0854d511236ee2511575c797","datavalue":{"value":{"entity-type":"item","numeric-id":4215603,"id":"Q4215603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd9af28f8bc61f56b5a8b1338028fb9cd2355751","datavalue":{"value":{"amount":"+0.7558717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208113$8688E3AB-8466-4A05-B0F7-B7CDBA65C193","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kripke_completeness_of_some_intermediate_predicate_logics_with_the_axiom_of_constant_domain_and_a_variant_of_canonical_formulas"}}}}}