{"entities":{"Q1407591":{"pageid":1418331,"ns":120,"title":"Item:Q1407591","lastrevid":67372461,"modified":"2026-04-12T17:11:18Z","type":"item","id":"Q1407591","labels":{"en":{"language":"en","value":"Barwise's information frames and modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1982514"}},"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":"Q1407591$4BA6DFC3-4C57-4865-8880-A87393FF22BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4040db0ed7fb5c8799fe882ee787c013f1823e2","datavalue":{"value":{"text":"Barwise's information frames and modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407591$E8EAEAE5-7EC2-4E14-8792-47D4C57BBE8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"348a07d120ccfde716070794eeeee6ad4a7f4b35","datavalue":{"value":"1030.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407591$0E7695F1-8FF8-41B4-ACB8-36AD88386B87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407591$3DAE2B16-4B21-4D02-981E-C217C690C6B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7841ad7b9ae7c226290004bcfbbaa03cb759e96","datavalue":{"value":{"time":"+2003-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407591$818FA68A-FA18-47C7-8B7E-2106EB15A315","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e0837dbd4a1ee2b64ac94a338b8c846b1a3b1b42","datavalue":{"value":"In this paper, dedicated to the memory of John Barwise, axiomatizations of modal logics, generated by information frames, are given. Next, it is shown that every Kripke-complete modal logic is the modal logic of some class of information frames. Conversely, the modal logic, generated by a class of complete, rarefied, and fully classified information frames, is Kripke-complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407591$F3D31025-468D-4385-B4D7-EB1E99A97078","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4764fa0cd49fe833a9ead0ffbcd3b01195518cc5","datavalue":{"value":{"entity-type":"item","numeric-id":585672,"id":"Q585672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407591$0FE50BF7-D9FE-4EB0-81E2-10776A0365E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407591$8B6DEC2E-761B-41ED-83D8-8F5F7A9FF595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407591$9EC27D2D-5FB2-43E5-BCFF-00BD3C889FCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bc19992e06965d4cf818a7bb03c01bccafb5130","datavalue":{"value":"1982514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407591$625AB70D-44A6-45D9-B244-081CC0D1809F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b06eee85f0ae98885afd68c27010bf92f21e9594","datavalue":{"value":"Barwise's information frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407591$6002E4A1-F0AF-4F8B-947A-941C164BEABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407591$5AAD8F22-3783-4338-99C4-27AC0BE3635B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407591$D9522C4E-D470-4018-B9F1-42CA5FEC87B4","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":"Q1407591$0A89AE47-B7F0-481D-8736-8011B60F787A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13a8cbbf7489a02656cc605f88dc489b96634f3b","datavalue":{"value":"https://doi.org/10.1007/s00153-002-0151-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407591$64FE9C23-E611-45E8-BD5F-A96A14A99446","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87598a0b935bf69d98854cee9cbedffb835ae577","datavalue":{"value":"W1979707053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407591$CDCED861-9DB3-4D7F-971C-AEF1786F8B39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ef39ec9ac4460b564bd779d7336c40851af55d9","datavalue":{"value":"10.1007/S00153-002-0151-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407591$97D3353D-26A1-4BDB-8807-E0A4712C23B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccb1fdd45779aca9c04ed790d06316f466b9fa61","datavalue":{"value":{"entity-type":"item","numeric-id":4406631,"id":"Q4406631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4275cf8fe17271eaeb7a76df6bdd10e0255bc0fa","datavalue":{"value":{"amount":"+0.9388651847839355","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":"Q1407591$432B9743-AED3-4D35-95AC-01A6AE4AA841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0b0ce6ef3bb346ac15cbb17532a398c57a7108","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50766ce657ec5fc07d6aac163933e448df68f6b5","datavalue":{"value":{"amount":"+0.9388650059700012","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":"Q1407591$3EAB6FF4-C0C0-4E40-8DB7-A6FD83737FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ca05ffac497c679ec74bd5124e684145630d28","datavalue":{"value":{"entity-type":"item","numeric-id":4895423,"id":"Q4895423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e314638aff64112ec1557a448906c99497f08b51","datavalue":{"value":{"amount":"+0.7818683385848999","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":"Q1407591$87900AB1-8C86-44C4-86A1-367E64F554F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b3b396fef6ac72905191965acf39dce3478aab","datavalue":{"value":{"entity-type":"item","numeric-id":2702284,"id":"Q2702284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e314638aff64112ec1557a448906c99497f08b51","datavalue":{"value":{"amount":"+0.7818683385848999","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":"Q1407591$D3DFBE7B-BA5F-45A5-9B5F-0FF86EBDEE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc121f362e7cd3d2a7f37f607a0060c5a4212314","datavalue":{"value":{"entity-type":"item","numeric-id":4375804,"id":"Q4375804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd5240b57d4c650958083089d93460370cbbfb7","datavalue":{"value":{"amount":"+0.76759934425354","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":"Q1407591$1A89A735-0C0F-475C-AEB0-E705BD2B8B0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Barwise's information frames and modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Barwise%27s_information_frames_and_modal_logics"}}}}}