{"entities":{"Q1288959":{"pageid":1299709,"ns":120,"title":"Item:Q1288959","lastrevid":70079673,"modified":"2026-04-13T12:17:49Z","type":"item","id":"Q1288959","labels":{"en":{"language":"en","value":"Finite trees in tense logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1289850"}},"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":"Q1288959$7FCBDE97-986E-4AF5-AE64-D1054A2F1AA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0d9b899973692019330b8b2cd6f0c76f793eb19","datavalue":{"value":{"text":"Finite trees in tense logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1288959$BD67C5D3-FDAC-4DB2-8650-F36F09702459","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e2bcbd018966703eb8f3ad547de355cd8e55997","datavalue":{"value":"0970.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288959$DE63DAD6-3646-46E7-88F2-16C7196AEFD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31904a6745b9e0c26874f0326c12ddc6769dffa0","datavalue":{"value":"10.1023/A:1026456817552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288959$637A7A1B-16DD-4B5C-BE49-536A3234AC6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc667845b69ffe78e87b193c8e67c83a1bc1a138","datavalue":{"value":{"entity-type":"item","numeric-id":190276,"id":"Q190276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288959$F1238F75-4190-4BF9-BD6E-C39085B8579E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e42d3b63a80627a7a13fa2a17d8f3badf1186620","datavalue":{"value":{"entity-type":"item","numeric-id":190277,"id":"Q190277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288959$14C4BDE7-EEA2-4C07-A6DD-D6A8CA0F9E1B","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":"Q1288959$2C9AC53C-6FF7-4C96-A02E-D61656F805B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7df3ee5354331b1055750b0a28c9c18e2e08982c","datavalue":{"value":{"time":"+2001-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1288959$EBA89B36-DB7F-46C9-BAC5-12FA73FE4F4D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"162274e11692ee87de6748d86290a96518ff38cb","datavalue":{"value":"The paper studies tense logics of finite trees. The minimal logic of this kind (denoted by \\(L_1\\)) is obtained from the minimal tense logic \\(K_t\\) by adding transitivity, L\u00f6b axioms in both directions and non-branching in the past. It is proved that for the language with \\(k\\) propositional variables, where \\(k\\) is finite, isomorphism classes of irreducible Kripke models on finite trees are definable; a Kripke model is called irreducible iff all its generated submodels are non-isomorphic. This implies that two distinguishable Kripke models on finite trees are isomorophic iff they are modally equivalent. Also it is proved that every tense logic of a finite tree has an (effective) weakly minimal finite axiomatization over \\(L_1\\); the weak minimality means that it uses the minimal number of variables and in \\(L_1\\) it implies any other axiomatization in the same variables. Another result is that the lattice of extensions of \\(L_1\\) has \\(2^{\\aleph_0}\\) coatoms, as it is for extensions of \\(K_t\\). Finally, the paper proves that for logics of this kind adding `Until' and `Since' does not increase the expressive power: two finite trees are equivalent in tense logic iff they are equivalent in Until-Since logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288959$1518B779-2F01-459B-9B74-0CA7C56BABA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288959$8AC1A14A-7EEC-4F6F-A89F-6C2CDF66524D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288959$E7AEDDEE-35B4-4F33-8A40-F33E3F6F91E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eeb87baaa05ebfbf259e9acc0713823ca583138c","datavalue":{"value":"1289850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288959$A2D79ADE-23F9-4D80-80F2-831E999DB996","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27a6e922de2fdd09ebaa0dedcd186a8509a147eb","datavalue":{"value":"tense logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288959$0E012BB2-B52B-44D4-BA68-B7E8F15B3620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24938459dbf20196734dcf6c3a35c8a8724abee","datavalue":{"value":"trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288959$749F22AD-D87D-48D9-B690-31A112234D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288959$A0C8CAD9-647F-47E2-B88A-5811AD706A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4927ccf340b1c4ebbff0fdce727e7fbbeb54e107","datavalue":{"value":"US-logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288959$0F16A2F2-70F4-4869-B67E-7A473C8FD6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7fefe615ffcb93e069e7246bb6920e16c2718a3","datavalue":{"value":"e-frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288959$E4AE0183-9083-463B-9E82-E1F4523D9437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"268afe032927eddf1ba426fff9a284cfa1a86c97","datavalue":{"value":"maximal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288959$238358EE-DB61-45B8-87D8-FC229BB5DDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70f5b9a72352813886c2d3109abe393975fbf408","datavalue":{"value":"modal definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288959$11F3A8FA-9267-463F-AD9B-CAF0460DD989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288959$86DCFE58-8610-4900-8135-45414F558CC2","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":"Q1288959$0236A378-2973-46C3-95EB-79B101040DA4","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":"Q1288959$8C0FB536-7A85-4703-835F-2C71486B1F80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9a5f038f405d2266e07cc307ceecc4c4ac4436d","datavalue":{"value":"https://doi.org/10.1023/a:1026456817552","type":"string"},"datatype":"url"},"type":"statement","id":"Q1288959$94B834B8-38BE-4C34-A6A9-5B207F82CB7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7167f7024b426e0c1666bed9b7950e88a0f22c81","datavalue":{"value":"W1516885113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288959$9563A587-9C8D-4003-8D3C-FD534F3F74B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7420a214d98ce50e43f9ccce7642a91539b7b682","datavalue":{"value":{"entity-type":"item","numeric-id":4218014,"id":"Q4218014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22959614d654b1c4445c7014b06fc80366da70f1","datavalue":{"value":{"amount":"+0.9470942","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":"Q1288959$629A27E7-423F-49CE-9DCB-C231093126B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e77e01dca2d7cceafc022e98503af90b09ae75f","datavalue":{"value":{"entity-type":"item","numeric-id":4922672,"id":"Q4922672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf4d4e328c943fc5ff394f26543cbf41e6cb61f6","datavalue":{"value":{"amount":"+0.9133097","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":"Q1288959$92F42002-3089-4A86-81FC-A66D0B983667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b73b0e82034f422e7053dd8393ab6f8e8c38cc","datavalue":{"value":{"entity-type":"item","numeric-id":4913486,"id":"Q4913486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b0ed08ebc2eb2141e1de5a10d11a73b99c6fc8a","datavalue":{"value":{"amount":"+0.9057015","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":"Q1288959$4BCFC7F2-4D8A-4552-83C3-DCA851106885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e6c5a39405767efa244cf5a33607781a1483e7","datavalue":{"value":{"entity-type":"item","numeric-id":4275690,"id":"Q4275690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae85fdc67bf5086b41769fb42d9d97c3ca758c6","datavalue":{"value":{"amount":"+0.8847836","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":"Q1288959$B843B3A8-40DB-4861-83B4-656E23B96190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a01e4e3540347809a19d72b0f19664fa641020b","datavalue":{"value":{"entity-type":"item","numeric-id":4858814,"id":"Q4858814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d5ab87ed7d72ed6d21ce2fd21f169565a66e51","datavalue":{"value":{"amount":"+0.876749","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":"Q1288959$49580025-629D-4DAF-98FC-D08E98F8B858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3db84ace2e45176688dec886ecdbd223d9e798d6","datavalue":{"value":{"entity-type":"item","numeric-id":5096727,"id":"Q5096727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a797827de23c24a88af9523a617ff6d3c91164f","datavalue":{"value":{"amount":"+0.8763809","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":"Q1288959$BE52D1DF-F5BA-463D-B38E-D39072815B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a10a811d54b394540726160ab89e8107e1069c","datavalue":{"value":{"entity-type":"item","numeric-id":4834484,"id":"Q4834484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c644949750861e9851636cbe4197a671f1d62c3a","datavalue":{"value":{"amount":"+0.8728983","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":"Q1288959$E20FB211-321D-495E-8AAA-0025DB901708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da386552da7fa312f46cc105358e7aa76b00d4d","datavalue":{"value":{"entity-type":"item","numeric-id":5262961,"id":"Q5262961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82643e228534e9a9f45c05f79ca716bfe09eeb12","datavalue":{"value":{"amount":"+0.8684355","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":"Q1288959$F6AC466D-961D-4859-9622-45BF25C8B141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9916f89802e9e9c0e46bce54a93e8efdf0b8f84","datavalue":{"value":{"entity-type":"item","numeric-id":4318160,"id":"Q4318160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3091e45e4571f82cd596064680589125c0fdb198","datavalue":{"value":{"amount":"+0.86700755","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":"Q1288959$FA04A195-FF6C-4D23-923E-172D3532475C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b3d42fcca255e2a317041c538a8ba628ce561c","datavalue":{"value":{"entity-type":"item","numeric-id":5687411,"id":"Q5687411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923c1e2920533d7223c13a55d97600ffb337563e","datavalue":{"value":{"amount":"+0.86609167","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":"Q1288959$A5712DFE-3000-471D-9771-FF51258B0A30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite trees in tense logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_trees_in_tense_logic"}}}}}