{"entities":{"Q757342":{"pageid":759191,"ns":120,"title":"Item:Q757342","lastrevid":64242966,"modified":"2026-04-11T18:34:26Z","type":"item","id":"Q757342","labels":{"en":{"language":"en","value":"Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4191597"}},"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":"Q757342$D1FD8C0A-5CD3-4814-8609-2F809ABD0D96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a100eb21b1aeb5bae8481d704d17338c434f4a6e","datavalue":{"value":{"text":"Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q757342$A41A94BD-E333-4F50-8709-D77242D4602B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9425b97e28a8e99fc2f179243380a0865f0bd9ca","datavalue":{"value":"0723.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757342$F77BF906-5538-4062-B520-CFD8AD4B367C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa7538bda673f4e30898311bf7eb0dda61de1fcd","datavalue":{"value":"10.1007/BF00370365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757342$5EC72521-F295-4828-8951-82FEA391DAD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1016ebddca2e676bc3bfc667fc000a8deeaba30e","datavalue":{"value":{"entity-type":"item","numeric-id":757341,"id":"Q757341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757342$E4192075-0D09-4D2C-99D3-28D36526CE00","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":"Q757342$D4C78D3C-0A04-40E8-8BEB-12BD1E37D7CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q757342$FF267548-FF50-4B90-99C5-63B00C992AEC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7f2236b44ca7f0fbcda5c74d1d7ed308f2063e09","datavalue":{"value":"The paper proves some translation theorems for intuitionistic modal logics (IML) using Kripke bundle semantics for intermediate predicate logics (IPL). They are based on the correspondence between Kripke bundles (introduced by the reviewer and \\textit{D. P. Skvortsov} [``Semantics of non-classical first-order predicate logics'', in: Mathematical logic (\\textit{P. Petkov} (ed.)) (1990)]) and intuitionistic modal frames (introduced by \\textit{H. Ono} [Publ. Res. Inst. Math. Sci., Kyoto Univ. 13, 687-722 (1977; Zbl 0373.02026)]). More precisely, let \\(\\psi\\) be a translation from (intuitionistic) modal propositional formulas to predicate formulas transforming \\(\\square\\) to \\(\\forall x\\) and \\(\\diamondsuit\\) to \\(\\exists x\\). An IML K is a modal analogue of an IPL L \\((<K,L>\\) is an associate, in terms of the paper) iff \\(K\\vdash A\\Leftrightarrow L\\vdash \\psi (A)\\) for any formula A.    R. Bull and H. Ono constructed modal analogues of H (intuitionistic logic) and \\(H+D\\) (the logic of constant domains). The author gives simpler proofs of these results and also finds modal analogues of \\(H+\\tilde P_ n\\), \\(H+\\tilde P_ n+D\\) (\\(\\tilde P_ n\\) is a predicate formula axiomatizing Kripke frames of height \\(\\leq n)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q757342$E3588663-D62A-499B-8284-638B41D69981","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757342$23FBE599-C8FF-42D9-BE5B-17DF09BA87CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757342$95171A88-6F3F-40D2-949E-EB4B4EAC79B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757342$CE4310F0-A792-4E60-9FD7-E088C9893380","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d0726d068e78b1901be934fb5c68c12e957c467","datavalue":{"value":"4191597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757342$76EF587D-2596-488C-925C-A029520179F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4edc44af0afae3eb9ce509009e3d9b8dbab24f4","datavalue":{"value":"intuitionistic modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q757342$898169F9-DABC-4CF1-893D-F2864A5D1730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8ca31375df4b627a356c3785061fcd8ee6995d","datavalue":{"value":"Kripke bundle semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q757342$641938D6-B3D7-47A5-B2C6-5850B22FC84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd59af15ea010a801b5df83d78fefecdd883b86b","datavalue":{"value":"intermediate predicate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q757342$FFD91FAC-B63A-4244-A686-4B09D39782FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2314d8174ab9dfb42fe11c7a9c710926d54f3c","datavalue":{"value":"intuitionistic modal frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q757342$92C599BF-9DF2-4EF0-95E5-24737E289B56","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":"Q757342$0B527C03-068A-45AF-B4EF-860D8F103779","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc7261581be2247eafa3592bf3f840a736de9d81","datavalue":{"value":{"entity-type":"item","numeric-id":5586229,"id":"Q5586229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757342$B8DA17A8-84E5-4FD8-B5FF-34B6F54970DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e0c1a4e478a32752a62b530cc2a5255baa77dd","datavalue":{"value":{"entity-type":"item","numeric-id":1244216,"id":"Q1244216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757342$FAC80AEA-DAAF-4E8D-8198-D9CC3E9ED0F1","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":"Q757342$BB78C250-64D5-4872-8AC0-93B9005C2748","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":"Q757342$B92C7209-C685-4BD4-98CC-13D8F8BBDD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7345de18c31a437e2ddf2d563c271bbcbe02267a","datavalue":{"value":{"entity-type":"item","numeric-id":1119624,"id":"Q1119624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757342$74A5F7F3-B017-4DF9-A24A-9C3F371A4C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab83b65f312cf5c30a3f2d43de77b4fe05a973e1","datavalue":{"value":{"entity-type":"item","numeric-id":3472079,"id":"Q3472079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757342$269BF85B-14CF-4144-88E0-DC833C60815D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed8fae185edb36ebf448980eb8da1eeea13feaa9","datavalue":{"value":{"entity-type":"item","numeric-id":910395,"id":"Q910395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757342$0F9BB753-3227-4B6A-8E71-FBD168CF1972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad56e0faf0d956201248c7dd1abc778a82b82eb","datavalue":{"value":{"entity-type":"item","numeric-id":3360841,"id":"Q3360841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757342$F8B3338A-E28F-4ACD-A246-78D79F85B835","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a7dead3c25a41859c2a337e489ca85d49b8bee","datavalue":{"value":{"entity-type":"item","numeric-id":3707996,"id":"Q3707996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daab562326e4002a713aac1ad5dd6b0a73fe28ff","datavalue":{"value":{"amount":"+0.90972733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q757342$B0FA7973-5130-4168-A6E4-303BD297F5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad387bb91aea289b46103fdf638050e404fdcd3","datavalue":{"value":{"entity-type":"item","numeric-id":1344873,"id":"Q1344873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"807eeb0e7983d1fdd8acc53f029cec58d4a409df","datavalue":{"value":{"amount":"+0.9001398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q757342$32F05270-C681-4807-A8B3-792EB5C9FE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2992da8d0fed1ab473691d85f466f4e7363920ea","datavalue":{"value":{"entity-type":"item","numeric-id":3309811,"id":"Q3309811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ffadc8565e30b724733aab3bc909977460d066","datavalue":{"value":{"amount":"+0.8965192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q757342$C1FBB57D-60BB-4BFE-AEF3-9D9F6242325E","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":"9caf2886c7f2a37c662e117a93d3ee0f4301a875","datavalue":{"value":{"amount":"+0.8942788","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q757342$20F81CC7-4DF5-4D92-9ED3-AA00C2CBEA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e6e713efccdb5eee4f32d7096b0be233014ec1","datavalue":{"value":{"entity-type":"item","numeric-id":3472079,"id":"Q3472079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0798df0cb104448339252020509dce5d24320e","datavalue":{"value":{"amount":"+0.89375657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q757342$C31B81DA-5EDF-4287-91E8-1E83230985B9","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":"b6ac53e09b07f8681b57bb75c1348d87a704d2bb","datavalue":{"value":{"amount":"+0.886758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q757342$8F29ECE3-97F0-44F1-9041-E86CD5746D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7fa50a4dab0e3121aff9eee43f3c03b78974c42","datavalue":{"value":{"entity-type":"item","numeric-id":910395,"id":"Q910395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e179121f94af4331c2d3c8b22430d2ba9bb8bed","datavalue":{"value":{"amount":"+0.8851348","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q757342$C26F5AB3-745D-4BF5-9CCB-1B590497A951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"479945dab9b3bdf5e5636d8c60dea325993886d8","datavalue":{"value":{"entity-type":"item","numeric-id":5271081,"id":"Q5271081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae85c5628b2de54482f26a016a1165c03c347420","datavalue":{"value":{"amount":"+0.884621","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q757342$BAFDF6E4-E576-4C7F-B3A7-05FF93F2BDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fccb268e4fe7dedf7c0a4de16c652c5b4b6681f","datavalue":{"value":{"entity-type":"item","numeric-id":2021569,"id":"Q2021569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b8f66337ffd06b0eb05c64177c61ad802cb6629","datavalue":{"value":{"amount":"+0.88432837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q757342$1654F2BC-E661-4A99-9B05-730050D8EF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f65525b1775d9b2be46e0133139ec2d7e3bd51e7","datavalue":{"value":{"entity-type":"item","numeric-id":2720315,"id":"Q2720315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10198627c8e14ee6f3f59583620d37ebfd0b745","datavalue":{"value":{"amount":"+0.88298386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q757342$0060D324-DB4D-40C9-94D0-289792E6AA93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kripke_bundles_for_intermediate_predicate_logics_and_Kripke_frames_for_intuitionistic_modal_logics"}}}}}