{"entities":{"Q995674":{"pageid":997522,"ns":120,"title":"Item:Q995674","lastrevid":65781297,"modified":"2026-04-12T05:19:48Z","type":"item","id":"Q995674","labels":{"en":{"language":"en","value":"Kripke incomplete logics containing KTB"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5189076"}},"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":"Q995674$75B4B06F-6985-461B-A7D2-314AC8AD76D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da9437cfc322576cd0e473be16b9cd97b10f09a9","datavalue":{"value":{"text":"Kripke incomplete logics containing KTB","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q995674$1C3FE97A-5F40-4C5A-87E3-FF3E70898456","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e6650e03edbedc2f037ee394568a93948cd1ccb","datavalue":{"value":"1130.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995674$07FE89A8-6B1A-476B-AE4A-C7C6BA048E4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5fafdc9b0578d59764848a3b498d2b5192e7293","datavalue":{"value":{"entity-type":"item","numeric-id":519846,"id":"Q519846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995674$4D9B1A3A-2F39-44DC-A193-B553B4A5EBAB","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":"Q995674$7D4F1A1F-8439-4D7D-819F-A2300DACE680","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42cd48ac6381a576736eec2b9a8e2283d304cd2a","datavalue":{"value":{"time":"+2007-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q995674$7A54AF3B-5D75-4A34-9962-903B9C79F580","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1794d0f10d64bc37fc4dee856f1a28d2b1150cf7","datavalue":{"value":"Brouwer's modal logic KTB is well-known as one of the fundamental normal modal logics. However, the observations on the system and its extensions are quite limited in contrast to other similarly well-known systems like T, S4, and so on. This paper is one in a series of the author's works on the system. On the base of Thomason's incompleteness proof with a careful modification of Makinson's recession frame, the author proves that there is a Kripke incomplete normal extension of KTB+Tra(2), and there are uncountably many such logics in the class of normal extensions of KTB+Tra(5), where Tra(\\(n\\)) is a generalization of the transitivity axiom such that an \\(n\\)-iterated boxed formula implies that with \\(n+1\\) (so that the transitivity axiom is Tra(1)). Taking into account that any proper normal extension of S5 (= KTB+Tra(1)) is tabular, these results tell us a drastic change of the situation in the class of normal extensions of KTB+Tra(\\(n\\)) with \\(n > 1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q995674$050DD01C-E7B2-4AA0-93E3-ACEF124C3CBD","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":"Q995674$DE7AB0FB-6856-46F8-8C66-0FD0C5ACE1F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995674$2EC4B50A-D9DB-4B8C-94CA-94B9F81A15E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4309fc70f819b59c20a9cda59163a9ffdb3b0c83","datavalue":{"value":"5189076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995674$56D52915-C98D-42AF-A99C-67ABD0C73DE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6844eb391dbc6b9c954ed5ef48bbd4b661beb5af","datavalue":{"value":"Kripke incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q995674$81A7AA88-76CF-47E5-B626-DE8C0DCC7FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"733bf5569b5ea5a1476d56f7bfae2b193a3f41c2","datavalue":{"value":"Brouwer modal logic KTB","type":"string"},"datatype":"string"},"type":"statement","id":"Q995674$560F58F8-CA8C-4AC9-8C55-ED5FAB5F8B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa63f3d00e79902b4bf6176f0f5c22edb337de8","datavalue":{"value":"generalized transitive axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q995674$E127ABAD-F369-4F58-8503-A65CB06EC4C7","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":"Q995674$A91BBE73-EE5F-464C-8FF5-009B629ACD62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e8442d52d43fa416cc925c4b959c40ee8de5304","datavalue":{"value":"https://doi.org/10.1007/s11225-007-9056-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q995674$11741F45-77C8-494C-9E37-D3B742AC3FCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f84ceb2767fa8a6dfa0ac59ba251e8217c38a79","datavalue":{"value":"W2017693638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995674$BE7A0BD0-F8FE-4E5A-9BB2-787B04FCA607","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a93d6dbdf36588b4e734c1070891cad4705c5bd4","datavalue":{"value":{"entity-type":"item","numeric-id":3208624,"id":"Q3208624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995674$97EBCD49-4BB6-48E8-BEB1-8D3F3ED946A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3d2f911ecb3b5590d70035c532dcb4003778fb","datavalue":{"value":{"entity-type":"item","numeric-id":3875896,"id":"Q3875896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995674$02CF7B41-E733-4F3A-AC5C-303309E2A44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f66fa289e4d1f18bfbeceba29dbafaae55ebd3","datavalue":{"value":{"entity-type":"item","numeric-id":1073780,"id":"Q1073780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995674$F6350B18-609A-4C0C-A531-20EFE1BF491B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8a5b2b7a4c59f90e7b48dd811b8f4de9cc5390","datavalue":{"value":{"entity-type":"item","numeric-id":4773679,"id":"Q4773679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995674$90D7F168-8B9A-47AD-989D-4CBEDBDEEB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995674$9323137F-8510-40CE-858B-1D0A8CFC8F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c015a3eca8e4bece7aaca98ec58b9789bea38ea3","datavalue":{"value":{"entity-type":"item","numeric-id":5575528,"id":"Q5575528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995674$3DEEEACD-014C-46DB-8731-A7A414238DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23d29cfc352e00b7adb1204d5a6b587b889584c","datavalue":{"value":{"entity-type":"item","numeric-id":5483007,"id":"Q5483007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995674$D52E6B09-E035-4ADF-AE3E-4E86A47C123B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e510c2576a7fa7c6774930adc1ac0cd05e0cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4773680,"id":"Q4773680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995674$29BC249B-FC08-4D79-85FB-86449DF3BE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9993b6b0172a209e3442765388ebb916ac4761","datavalue":{"value":{"entity-type":"item","numeric-id":4190613,"id":"Q4190613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995674$F91E38DE-BC87-4301-9961-4A2EA5E8F7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c9c879034240e81c35149726bcbfb0ebcc8b2c","datavalue":{"value":{"entity-type":"item","numeric-id":3898471,"id":"Q3898471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995674$EB66E9DC-8326-4587-B63A-73519FA3921C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc8bfebd9af0c6a0447e4838ca4ef75a6310a722","datavalue":{"value":"10.1007/S11225-007-9056-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995674$840B7D58-B7FE-41D1-B1B9-5D5D4F87EBF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704cabb4f36499e461bf638e1ed8ce39ea7905b8","datavalue":{"value":{"entity-type":"item","numeric-id":3656771,"id":"Q3656771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6164140cc9fef779b0df8ee40979604b733de8d4","datavalue":{"value":{"amount":"+0.9463734","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":"Q995674$76FAA6A5-72EC-4AEA-B957-2E705D113902","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":"2013c9e4e69b7a0fa9a916608e85b0155931cd59","datavalue":{"value":{"amount":"+0.8830257","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":"Q995674$D48CDCB6-21D5-4BED-847D-B21B269B4423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcaf5dcbbc41b337e20d7a68e812ee7476d08ba1","datavalue":{"value":{"entity-type":"item","numeric-id":701294,"id":"Q701294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"528967b10a4fdc3ef0c0fe6135c06fda7282987c","datavalue":{"value":{"amount":"+0.8783089","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":"Q995674$0564CBDC-FDE8-4CDA-88DD-953140137459","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":"d425dd3bbcf579e4c0f55efd8001e1d0a94655cc","datavalue":{"value":{"amount":"+0.87415975","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":"Q995674$134ABBED-A8C3-48CC-B1EC-34B58838C7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2eb0c66507e60f7c8b5ecd843790ecc80d91a91","datavalue":{"value":{"entity-type":"item","numeric-id":4853321,"id":"Q4853321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3768114a8ed289e0354c6ade3108929110a88d05","datavalue":{"value":{"amount":"+0.8738634","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":"Q995674$B9B4C2EF-EFAD-4E65-9BC5-0F0DAF68171D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d23a84a831721a7754e784d45ca446dbf86c518","datavalue":{"value":{"entity-type":"item","numeric-id":4366129,"id":"Q4366129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfd6734e29f2b691c9f30ff8628b3a34dbf10f56","datavalue":{"value":{"amount":"+0.8734201","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":"Q995674$354BFB1E-443F-4E14-919F-6270D3E3483C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68778be181421a43b3ed9c94fcab57449e269aef","datavalue":{"value":{"entity-type":"item","numeric-id":4230935,"id":"Q4230935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"530bf7101527ac74e3af0c2cbccc2d2f4d5b960e","datavalue":{"value":{"amount":"+0.87321687","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":"Q995674$1BC14D66-C476-4DCA-A934-28E2341F5DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a3e22ae57c677a491f48d9a06edaa40b07d41e","datavalue":{"value":{"entity-type":"item","numeric-id":3101107,"id":"Q3101107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8625276be76e579cc100d7c44cd036728ffbc74","datavalue":{"value":{"amount":"+0.87212574","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":"Q995674$B1F2D506-E31E-4C55-A19D-4163DD8D4700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5dac58e0f9de192628ca787b085c3cf014ec4e7","datavalue":{"value":{"entity-type":"item","numeric-id":4887109,"id":"Q4887109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"772db66cc91d7945f49660a7123f102f2ee49380","datavalue":{"value":{"amount":"+0.8720116","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":"Q995674$4D9E99B9-A6B1-41C3-9E78-DCF2A9FDF9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874ad9be1eb8f1fc608f0d99d7e57e89c13a64c5","datavalue":{"value":{"entity-type":"item","numeric-id":5483007,"id":"Q5483007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec9da0a1d5d7129d6273c54f1a8688d052781cb","datavalue":{"value":{"amount":"+0.8712831","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":"Q995674$3208F59B-2A08-4156-B73A-74FC9C3916B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kripke incomplete logics containing KTB","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kripke_incomplete_logics_containing_KTB"}}}}}