{"entities":{"Q1770592":{"pageid":1781334,"ns":120,"title":"Item:Q1770592","lastrevid":74367744,"modified":"2026-04-14T19:48:49Z","type":"item","id":"Q1770592","labels":{"en":{"language":"en","value":"On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153428"}},"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":"Q1770592$7BAD3557-63AC-48E0-A322-D7A89C56598F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bdf0d1562ccd91aebfa3cf2fa8fa272105e4631","datavalue":{"value":{"text":"On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770592$7DC9A53D-74ED-4620-AA1A-613DEEB5DD8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d6dd77c97351e682310ef1447c947b80c6eb0a5","datavalue":{"value":"1073.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770592$452CDFBE-EE3C-4C9F-B85E-687D0EDB4F54","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":"Q1770592$77216804-0A49-4D3A-BF7B-6A4BFA28CF94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86471ba8a812fc2d049bb06f25b4db84c76027a9","datavalue":{"value":{"time":"+2005-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770592$01A90DE2-BF7E-4303-BDE6-A72F38950294","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"469b0551187940a8987b383f93eb7c11302b2f5a","datavalue":{"value":"It is well known that any propositional intermediate logic characterized by a finite Kripke frame is finitely axiomatizable. The analogous result, however, does not hold in the first-order case. In fact, a simple counter-example has already been given by the author of this paper. In this paper, the author develops the study on those logics characterized by trees of finite height satisfying a property called `levelwise uniform', which means, roughly, that each node of the same level has a number of branches fixed uniformly. The main theorem establishes a very simple criterion for the finite axiomatizability in the class of such logics; a logic characterized by such a tree is finitely axiomatizable iff the tree is `increasing' in the sense that any branching number of a node (determined by its level uniformly) does not become smaller at any higher level.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770592$A11F4CAD-F2F8-4EBF-9266-D88E334A417B","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":"Q1770592$55805D67-AAC7-4067-BEEE-5C7D624487F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770592$657C1AED-35B3-4E3D-A6AA-ED73D7731C83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0461d59fd34856218af0e64e4dc7a87cd3f71e8c","datavalue":{"value":"2153428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770592$682CB091-9864-47FA-9E52-2DCE7671D0A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68257f6b06a1a76dee78d93f061b5cd7267505a5","datavalue":{"value":"intermediate predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770592$87B8FC78-FC8D-45BE-BA08-DF9F4412C6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770592$2B1C7FD4-DB82-4AFB-93AE-0EE296E0103C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500e450443ae18a05a00c5f0176a8adbab0babe9","datavalue":{"value":"finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770592$91FB4E98-9335-4414-8EF3-0183FDD66948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a186fe60865125c7e79cf46e3bd47c9956c52a4d","datavalue":{"value":"recursive axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770592$0E0ECE1B-2681-4971-9AC7-56DA32977DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1e6a4e0bf2c3b9cf05e0d2a7f188e73292c89d","datavalue":{"value":"lelvelwise uniform tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770592$B2BCA964-1382-4D6F-A0D4-2A1C8C1E13B9","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":"Q1770592$205C48FE-E208-45A0-AA97-29094505298E","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":"Q1770592$EE9A5551-FAEF-4063-9195-559062554FE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc942bfd7f63ccb966962b63d7a9fadcc04710ab","datavalue":{"value":"https://doi.org/10.1023/b:stud.0000039028.22017.4f","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770592$F9B9E474-23BC-4B70-A81F-51B2CE870B41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35d8655afb1c2ef0e7418b3a6d29fa206df7ac8b","datavalue":{"value":"W2083897845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770592$1AA4B4CD-B80E-466A-9036-5A129AD9DD63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff5dbd9a7a9db856a70feb54336988ed877ea046","datavalue":{"value":"10.1023/B:STUD.0000039028.22017.4F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770592$F2C49407-BF2F-4C5A-8EF3-429B2D49644A","rank":"normal"}],"P1643":[{"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":"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":"Q1770592$4341C164-9DEC-46C5-B196-AA74A29029BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9430167a2d56fddacb222fe5bc24cd9c16d8f2e","datavalue":{"value":{"entity-type":"item","numeric-id":4896535,"id":"Q4896535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"340cff656565df0c1d76b6a28530e31d68b70dce","datavalue":{"value":{"amount":"+0.8127115964889526","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":"Q1770592$6B1AC787-2145-4D85-83E7-DFE180345454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cd0204cadfbbfa08b5971765237aefa1104065a","datavalue":{"value":{"entity-type":"item","numeric-id":3830978,"id":"Q3830978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd98c715b41a335cadab8059afa48c8bc06a1903","datavalue":{"value":{"amount":"+0.8119419813156128","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":"Q1770592$E47C0A47-91DA-43C5-AAF2-D1F54EF08A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5003925dddbcd3c683621957280ca9739d140dc6","datavalue":{"value":{"entity-type":"item","numeric-id":3809773,"id":"Q3809773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"033694a49a6cbe6f71ef373ee6e473a99f4c8c96","datavalue":{"value":{"amount":"+0.8084205389022827","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":"Q1770592$0CDC0812-1A2C-466B-9CF3-81F4C2EDE067","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":"579e8acb5369fde4ec725c6daf913b1daadae6fd","datavalue":{"value":{"amount":"+0.8072713017463684","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":"Q1770592$64D71B7B-2D00-43FD-B530-8C9EB6E4B22F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_intermediate_predicate_logics_of_some_finite_Kripke_frames._I:_Levelwise_uniform_trees"}}}}}