{"entities":{"Q1344873":{"pageid":1355612,"ns":120,"title":"Item:Q1344873","lastrevid":68515683,"modified":"2026-04-13T00:13:57Z","type":"item","id":"Q1344873","labels":{"en":{"language":"en","value":"On the predicate logics of finite Kripke frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 724130"}},"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":"Q1344873$54C8B4C9-F706-4623-9F9E-526B8279FC09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ceffd05746ba1f2f7dc232b0ca4c3eea306b1cd","datavalue":{"value":{"text":"On the predicate logics of finite Kripke frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344873$1A0684C7-3EC6-47FE-A2A6-9E723393892F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5567913fd4a2e02648297187ea7d5f83bcc97ae2","datavalue":{"value":"0839.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344873$50039D2B-6B45-45E0-829E-2A5449812DCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc9e92a1c1e8ebb3060c6d005f0106fa763663a9","datavalue":{"value":"10.1007/BF01058533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344873$37DA9FA4-3966-42C5-AA99-5B7CAC078F00","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":"Q1344873$87CA803F-E7CB-486B-BB87-72310DCB5870","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8682f10035297e22489d3e495aa858e74b275e9","datavalue":{"value":{"time":"+1995-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344873$7D182D54-AF36-4A0C-BC04-7CF8368BE2E7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"209f345f7bbe516615d1f642cf549c30aa55ad18","datavalue":{"value":"The intermediate predicate logic characterized by the class of all finite Kripke frames (Lfin) is studied. Beforehand by the same author, it is proved that Lfin is not recursively axiomatizable, but that Lfin is \\(\\Pi^0_2\\)-arithmetical. On the other hand, Lfin can be expressed as the intersection of the logics \\(\\text{LB}_n \\text{P}^+_m\\), which are characterized by all posets of finite height \\(\\leq m\\) and finite branching \\(\\leq n\\), and which are obviously finitely axiomatizable. Further, the logic \\(\\text{LP}^+_m\\), which is characterized by all posets of height \\(\\leq m\\), is known to be finitely axiomatizable. In this paper, it is proved that \\(\\text{LB}_n \\text{P}^+_m= (\\text{LP}^+_m+ \\text{B}_n)\\), where \\(\\text{B}_n\\) is the propositional axioms of branching \\(\\leq n\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344873$C27936A4-6E88-4BC6-A615-647FD76FCA79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344873$4A02D5C2-8B03-4C5C-987C-FB3FD8E6A68E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71cd973de87af3768bb125a8dace303b2c926469","datavalue":{"value":"724130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344873$A980EDE4-1BE8-42E2-9FF9-6A1F91D9E8B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68257f6b06a1a76dee78d93f061b5cd7267505a5","datavalue":{"value":"intermediate predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344873$B3D1B442-E20C-4C15-A1AB-307A31A7601A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adba5fa8e4b796ef06edc3329c86a25b7a094b67","datavalue":{"value":"finite Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344873$A1D1183B-056D-461C-87C7-EE3F4654F0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55ed4e02075ed4e4b1b42997cccad7cede0fb5bc","datavalue":{"value":"posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344873$13B0520C-8643-4541-A3AF-D1D9B04F75D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da4e3175fff9f957483c703e4e2827eeb53221d2","datavalue":{"value":"finitely axiomatizable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344873$147BD8E0-A789-49D3-9AB3-1A88802751B4","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":"Q1344873$FF6F6388-310A-4536-86F7-DEDCA85754BB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"851bf76d21f8adc9231295bc43bb317620bc1e90","datavalue":{"value":{"entity-type":"item","numeric-id":1111544,"id":"Q1111544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344873$6B065054-CC4E-42AC-A422-1CD252690A1B","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":"Q1344873$F693FC21-93AD-4357-9749-A317C8501652","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dca0ae1025642432ff78eab317d494163fb9e74","datavalue":{"value":{"entity-type":"item","numeric-id":1207344,"id":"Q1207344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344873$B9937EDE-70BC-4DFB-874C-2C817AEBD590","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":"Q1344873$9EB2D048-A8DA-475C-ABB3-1AEF493B904B","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":"Q1344873$C8B80CEF-1228-425B-B18B-ADD4C39E79F6","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":"Q1344873$1126B908-D571-456B-9266-4092FACA98C6","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":"Q1344873$7F8C76FA-A24D-4FED-8948-7EAACBBB51D1","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":"Q1344873$D3331C7F-FD82-48B1-AA29-B8B851964F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6b300fd3bd5747b77d40923494f545def96f42","datavalue":{"value":{"entity-type":"item","numeric-id":3684108,"id":"Q3684108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344873$75859E35-B41E-4C7D-BEBD-A1EB70C40C96","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":"Q1344873$3E0CADD7-A40C-4403-AAF1-C63A2A34FC0F","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":"Q1344873$C486FA61-A9D1-48B5-A9D6-2C47169741FE","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":"Q1344873$6CC906FE-CE1F-4019-9534-E8FDAAC93BA1","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":"Q1344873$8074E5B1-353B-4444-A50D-1D4FC95DA27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9f4c080eb8a000a64f90365ac6d0f2d002ef5f","datavalue":{"value":{"entity-type":"item","numeric-id":1208113,"id":"Q1208113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344873$D334F223-4F05-4C17-ABE2-EA4BD88986BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6dd4b3ed38e5b62e692cc16689d931987d0a202","datavalue":{"value":{"entity-type":"item","numeric-id":4733853,"id":"Q4733853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344873$71110EDB-FD88-4C07-8152-FC1B7CF98BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d01e9234d7e3a7d3a088900e0ac70815098331","datavalue":{"value":{"entity-type":"item","numeric-id":3809773,"id":"Q3809773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344873$3BB1B595-C78A-47EE-826B-24D5C93949A5","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":"Q1344873$0D81CE94-1621-4BE6-B5F1-9CD6C8AC27AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1c0ab5c7e5d7376141b3e7d39582765298a34fb","datavalue":{"value":"https://doi.org/10.1007/bf01058533","type":"string"},"datatype":"url"},"type":"statement","id":"Q1344873$7A8AC981-A883-4159-9457-EF49D226595E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9e6c5273085cf1bea9c5a3f3716b45b45de7129","datavalue":{"value":"W2019451333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344873$2A205CCE-8961-4C4A-B4B2-F18D8B225C01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db3ab7c26d0095420abbbd1e3190dadec672d4f","datavalue":{"value":{"entity-type":"item","numeric-id":1770592,"id":"Q1770592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac753f4a440cf891010497f0807abb0569c6653a","datavalue":{"value":{"amount":"+0.8912309408187866","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":"Q1344873$6B1642B7-24CC-4ABB-9BDC-A4A6A9ADD3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38fdd2cc1e2190759cc08b86787bff348034ba76","datavalue":{"value":{"entity-type":"item","numeric-id":4443213,"id":"Q4443213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca0d7a5d8ef088725c2614299c1d6cd839f38191","datavalue":{"value":{"amount":"+0.8629626631736755","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":"Q1344873$18B7787D-9029-40CB-8D60-B894D1E83B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a842d9fe88269b9a5504b0b0e7b45d152407c4","datavalue":{"value":{"entity-type":"item","numeric-id":5718669,"id":"Q5718669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b1f0d9076f58212ea74b1408fff05163bc67159","datavalue":{"value":{"amount":"+0.8526698350906372","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":"Q1344873$A14635D3-7810-45CE-B42A-FCF708E7A47E","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":"3ed861d2934c1694d5fca506f8e73d1830fadab9","datavalue":{"value":{"amount":"+0.8367372751235962","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":"Q1344873$BBDC40F1-11D7-46BE-BB22-C541D645DF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13cc9d173ebedade2fbea141a1459a60bb2d9782","datavalue":{"value":{"entity-type":"item","numeric-id":1378430,"id":"Q1378430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4201bd21a85d3ea1ab989fe8c446345407ccbf9","datavalue":{"value":{"amount":"+0.8293906450271606","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":"Q1344873$05659394-DB6B-49B2-B88E-9536A742D60E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the predicate logics of finite Kripke frames","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_predicate_logics_of_finite_Kripke_frames"}}}}}