{"entities":{"Q2186691":{"pageid":2197434,"ns":120,"title":"Item:Q2186691","lastrevid":57631107,"modified":"2026-03-31T16:50:17Z","type":"item","id":"Q2186691","labels":{"en":{"language":"en","value":"Simplified Kripke-style semantics for some normal modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7210297"}},"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":"Q2186691$5DA760FF-25C2-418C-A088-26EF2B97D3D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"837d940172a796818a51295870408ecff66a7619","datavalue":{"value":{"text":"Simplified Kripke-style semantics for some normal modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2186691$5662B90D-80E2-4836-A7EF-BB8D1D99EBAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2715d169f69292b23fa52731185d1125fdbf2797","datavalue":{"value":"1452.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186691$F0C35E22-C094-4194-9156-CCD97834EC34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1401c878f909effb93588d45c5a5a6945e3cbd5","datavalue":{"value":{"entity-type":"item","numeric-id":631521,"id":"Q631521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186691$3C6D2AE0-3E2B-4804-9461-7B9472DB5F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c609104286a7718cf8529f13396135d60a4f7737","datavalue":{"value":{"entity-type":"item","numeric-id":2070429,"id":"Q2070429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186691$9D466036-CD9C-48D8-81CA-7B02269985EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"669cdb901f5adc2391e652d6dfa8ffc64eb0addc","datavalue":{"value":{"entity-type":"item","numeric-id":1689567,"id":"Q1689567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186691$1B683367-0596-4A57-BB9B-0A38EC6DEF36","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":"Q2186691$84D8EDB5-57B5-4B22-9432-62102FFD48E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"442d5aead941c0578ccd7c54c4f813e979fa4e3c","datavalue":{"value":{"time":"+2020-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2186691$59742502-E016-433C-868C-239E8F5B95F6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cab800c621d6574870c3784bfabb665a90b528e4","datavalue":{"value":"Variations of Kripke models are interesting for a number of reasons. First, there are not that many. Second, they help connect algebraic and topological semantics via Kripke models. And this allows us to have a broader picture of modal logic.  This paper sits in the epicentre of all these three reasons. The bigger picture it helps draw is important for a reader of modal logic as it goes all the way to old papers in 1980s.  This paper proves a number of results about normal modal logic with respect to a simplified semantics/modal frames.   The results are interesting. One next thing for this project is to discuss the connections between other modal semantics and category theory, which would also introduce mathemtically challengeing problems to the subject.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2186691$F018AEB6-C41F-4C8C-9EF4-4DAB9FB42BF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186691$7F6C97E6-9290-4615-A106-DEC34A4DC1C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31d2a0bbad1e47d935a918b7563484294cb3146a","datavalue":{"value":"7210297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186691$D4F2684A-1723-4DB7-8A55-7CDDC87EC5A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3068d952ded9510a8e929b421671791e5f4944f5","datavalue":{"value":"simplified Kripke-style semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2186691$58D272A7-F9C2-47EE-867A-A695DAA39E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2de94ceacb8b696885a0d36d24377f9d3d1bcdcc","datavalue":{"value":"semi-universal frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q2186691$E7A007A4-A0A3-4EF7-942D-276D7DADC1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf02195d7c3ea39d1ca241139afc48251cb25cb","datavalue":{"value":"normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2186691$59885932-7854-47F5-B902-9D90E2E947F0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"feb081b7e2e7cdeaf35e49b975323f36efb5fb83","datavalue":{"value":{"entity-type":"item","numeric-id":484904,"id":"Q484904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186691$06A88090-8E12-415D-83D8-F2D12258C14A","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":"Q2186691$296A5F10-577F-4179-A16C-570F993E4284","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b722d76cabf7674d9a4c1b33ee8aaa55dc51bbd","datavalue":{"value":"https://doi.org/10.1007/s11225-019-09849-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2186691$B50114E0-C972-4B35-A67B-FD5059670FE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b80c9d87069dd9b21b4c485f02f87207e16d9b50","datavalue":{"value":"W2937483042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186691$BBEAAE87-7063-4E7A-889C-129BB7CFB782","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186691$4564726C-B81F-429F-AE27-191DF7E34D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4265f7d9bf08322ca753ba60b0421a7fd79af8e","datavalue":{"value":{"entity-type":"item","numeric-id":3927209,"id":"Q3927209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186691$2FC4D66A-6208-457B-B7AE-D1FD6946D0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc4ba48fd50baefa7aaf9b06606e3679e37be45","datavalue":{"value":{"entity-type":"item","numeric-id":631522,"id":"Q631522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186691$DD5737E3-18F7-4476-9F08-24166A884100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b86ea004a13f81931ed66af93484db5e0c90395e","datavalue":{"value":{"entity-type":"item","numeric-id":4912989,"id":"Q4912989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186691$699C8B0E-4618-4C76-87BF-26F3D5976DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11112d5dc7b40c304c9045115ddfd108f5a848c9","datavalue":{"value":{"entity-type":"item","numeric-id":3081996,"id":"Q3081996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186691$AA06EFDD-7238-4B0D-A8B9-9B745A53619D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c95ded93de7e1173c3b1a7cb1f9bc4d023c746a","datavalue":{"value":{"entity-type":"item","numeric-id":4608558,"id":"Q4608558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186691$316EF21A-A7E7-4930-8E7B-9558FA1A0643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468b2626cd2ebd4eae1ed801ae14a93b31412105","datavalue":{"value":{"entity-type":"item","numeric-id":4576061,"id":"Q4576061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186691$90CFCF70-07CF-4CA7-80B8-A79D72BD2E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186691$9403D793-6085-4A10-80E1-951CE3897BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8736b1fc1427ab61e6b1863558749e5897b25ee0","datavalue":{"value":{"entity-type":"item","numeric-id":4789450,"id":"Q4789450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186691$43E33C46-A131-49A4-AA7C-E5B2FB99CFEE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b96805bb57685c0fbf2b94ed2cb479c0f2ab55a5","datavalue":{"value":"Q131341345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186691$A6B66D2C-FD1E-415C-B844-A9E816A0DEDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b725c6707ab22d499288081148fa22545d39f1d4","datavalue":{"value":"10.1007/S11225-019-09849-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186691$64DDEAF5-9549-4D5B-B7B7-29ED4D8826E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51de9ba0e8a0ba5e3a5b9176a142e1075f5b634","datavalue":{"value":{"entity-type":"item","numeric-id":3081996,"id":"Q3081996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c17583a9dc976249e9224103140a8027f62b5525","datavalue":{"value":{"amount":"+0.7893595099449158","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":"Q2186691$A57A52CC-8FDD-463B-96F4-537F775B62F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1d4267ae9ccb75c911cd4e2207c77deef960df","datavalue":{"value":{"entity-type":"item","numeric-id":484156,"id":"Q484156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"511f9a244e9752e00d47f5b73ec0cb444122251b","datavalue":{"value":{"amount":"+0.7550575137138367","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":"Q2186691$3544A37F-C964-408F-B6D9-0A6F7EB34749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8908d07d74648e9bce6d3148e1103ae9bee81a","datavalue":{"value":{"entity-type":"item","numeric-id":1863750,"id":"Q1863750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cfbfd3d534b664a233f478a745e800c25490ad9","datavalue":{"value":{"amount":"+0.7491421103477478","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":"Q2186691$A99EF27F-CE79-44C7-A206-C6B1BF7848AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc166c5d57e4647ac36b2df8412e12720e6d54dd","datavalue":{"value":{"entity-type":"item","numeric-id":1101436,"id":"Q1101436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cfbfd3d534b664a233f478a745e800c25490ad9","datavalue":{"value":{"amount":"+0.7491421103477478","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":"Q2186691$29B86160-6A0F-4DD6-8651-54995D7C36CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22306f86ecbe244c29702ba1468c094f1d60f493","datavalue":{"value":{"entity-type":"item","numeric-id":4785506,"id":"Q4785506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9b01a8022c058e0ac696bc5ae2f11f6cfa133e","datavalue":{"value":{"amount":"+0.7420098185539246","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":"Q2186691$73CD216D-C21E-4E2C-B1AF-E2C01C659DF0","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186691$58C92678-E733-407A-8E83-C45454D60D3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2186691","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2186691"}}}}}