{"entities":{"Q1823924":{"pageid":1834666,"ns":120,"title":"Item:Q1823924","lastrevid":49311670,"modified":"2026-01-06T22:53:52Z","type":"item","id":"Q1823924","labels":{"en":{"language":"en","value":"Some compactness results for modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4116500"}},"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":"Q1823924$FFB02AB5-EA5B-44EE-9FD2-B14CEC513312","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49f9bf8fb6d87d3abdcb110d00ae7fcf628dc5e7","datavalue":{"value":{"text":"Some compactness results for modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823924$6F18E429-5EA3-48C8-AB0C-69E5D95EE850","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"518c60c73c158fb41f3790b70cefd5a701f7b278","datavalue":{"value":"0682.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823924$BDC582C2-D8A0-4E0E-A7CD-45C882FE160D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c9b0ee9a7c9f7f78c90198c3367b9811fdcdd7f","datavalue":{"value":{"entity-type":"item","numeric-id":758988,"id":"Q758988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823924$A1E6F104-70A5-4786-A4BB-ADD894879746","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823924$C7AD00E0-945C-4791-BDA9-5A1F961915C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1823924$4A0B1526-1C77-4D54-BCE7-E70F13670FDC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b037e884b09158b7c25acc64464e2dac6d173fcb","datavalue":{"value":"A modal logic L is compact iff every L-consistent set of wff can be simultaneously satisfied at some point in a frame for L. L is canonical iff every theorem of L is valid on the frame of the canonical model of L. It is trivial that if L is canonical then L is compact. It is not known whether the converse holds. The author proves that the converse does hold for any logics whose frames contain no worlds with infinitely many alternatives. He then widens one of the classes of logics for which non- compactness is known, and another class of logics for which canonicity, and therefore compactness is known. He finally uses results obtained elsewhere to show that there are uncountably many canonical logics and uncountably many non compact extensions of S4 with the finite model property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823924$5378DCE9-9A4E-4B5E-88F6-292935C6B5D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823924$054BDA42-BD80-4B60-BED3-AE8F43BD3D52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25c343923c0c8238ecc9cf30dc1378e1c09c430f","datavalue":{"value":"4116500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823924$631A6050-E298-45C6-9340-7AAAB4CB8E68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823924$B3D81896-0DFC-4421-88F5-FBCC0E42B1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823924$8A0E85AE-D5A7-46F4-A5C9-C2DE3239721A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ed4c52c97ede8269ca417792eb0c307e0c83ac2e","datavalue":{"value":{"entity-type":"item","numeric-id":516413,"id":"Q516413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823924$DF41E970-80EF-4873-9271-713F8F02B339","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":"Q1823924$93C214FA-6545-43F7-A795-808331111B93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cf66d4d2003cc1a00d4a03822ef9785456bfe19","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635085","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823924$8507E674-AECD-44A2-BA65-F1063733FDAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d821712a090eccdfdd27bebc22eaecb2d6ba9bd","datavalue":{"value":"W1998911560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823924$273D8046-51B4-4827-BA84-CE14B87718B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f8904eae5c2e7aca2a11c0172ba7f0cdfc11ef0","datavalue":{"value":"10.1305/NDJFL/1093635085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823924$5589CAD1-3989-4EDC-B89F-D1E5BE41BF8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e51240574c5d1d09d139fd2918380b9deb541aa5","datavalue":{"value":{"entity-type":"item","numeric-id":4661993,"id":"Q4661993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7acbf927a971de780231c028dfabffc6a742613a","datavalue":{"value":{"amount":"+0.8147231936454773","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":"Q1823924$3AEA778F-1150-4D2C-BC0D-2BFDE3A9E642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e416c444868174ed34e8b8db32baf7711a11ef","datavalue":{"value":{"entity-type":"item","numeric-id":3691638,"id":"Q3691638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56f9bc1d3bd8eeaa36da48d5629f49e306e55888","datavalue":{"value":{"amount":"+0.7950782775878906","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":"Q1823924$79911DFE-A198-4838-A675-2C10CA773430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c1069cbd1ea91b1006384869b5ec71de79a632","datavalue":{"value":{"entity-type":"item","numeric-id":1208083,"id":"Q1208083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8562edb6ff6b29726e7600faf0be49a8b782a49d","datavalue":{"value":{"amount":"+0.7863062620162964","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":"Q1823924$2757038B-04E7-45BA-986E-02377A86AAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc1c90c836491d526a03ce8a9c2cdabc6fc95b2","datavalue":{"value":{"entity-type":"item","numeric-id":4215607,"id":"Q4215607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a84025189de72009e42e4090f8f7e1ef5c17e99","datavalue":{"value":{"amount":"+0.7846548557281494","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":"Q1823924$B542DC86-7C94-44A4-B603-DC915B0E073B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c9d9292b166b85ad60425b6677774032635903","datavalue":{"value":{"entity-type":"item","numeric-id":4291869,"id":"Q4291869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"194ae714371c15dd97cb0ec8a22bb82f06e1fd5b","datavalue":{"value":{"amount":"+0.7782225608825684","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":"Q1823924$06699BFE-FDAE-430B-921C-3CC48B444C61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1823924","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1823924"}}}}}