{"entities":{"Q2277447":{"pageid":2288190,"ns":120,"title":"Item:Q2277447","lastrevid":49490374,"modified":"2026-01-07T07:17:02Z","type":"item","id":"Q2277447","labels":{"en":{"language":"en","value":"Kripke semantics for knowledge representation logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197967"}},"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":"Q2277447$D855A976-E6DC-4070-8E43-3F595ED18D32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca042715114c76b0cfdcb3b6447d02d06ef694bd","datavalue":{"value":{"text":"Kripke semantics for knowledge representation logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277447$D72C32AA-B328-4585-A958-A4821B83415A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e4a78a939914a9d8534ebbbe7cca65172819468","datavalue":{"value":"0726.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277447$2AB0497A-8733-4DAB-90C2-A3A632574090","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7649df5d02f41208de49437d6ea98aa50b7e529","datavalue":{"value":"10.1007/BF00935602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277447$CF65B8E9-F2A8-4550-B696-5636D1228189","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":"Q2277447$DC546B02-CA03-43D8-B45C-646A46FF5188","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q2277447$68B60701-DB7B-4C5B-8935-44C5C85E9C76","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9eef159697c5f23e413d13bbc52e0a45a11e27a9","datavalue":{"value":"The author shows how Kripke structures are determined by information systems, which then enables us to provide modal logics for knowledge representation in a natural way. She discusses the axiomatization of logics thus defined and extends the Kripke modeling in order to deal with temporal aspects of information or to give reasonings about objects and their properties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277447$199C8C18-D685-4CF3-906F-F501125D02E6","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":"Q2277447$C0971F50-E08E-41FC-B7E0-83E222FD6EEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277447$739260AC-A707-4CC3-8AB2-8512D0106097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277447$9DE9CE75-5447-4988-8346-9DD1E43312AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277447$7B1CA4D8-96C8-4E45-BEB3-AD63BEBAEE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277447$480D7544-7238-4B1E-BD18-E7A957EAC788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277447$A890440B-20C2-4176-ACDF-DA1A0F698537","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be900e0db13a78d7c8ff61f3edb0f2a068965d3a","datavalue":{"value":"4197967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277447$69A991DC-ED98-4903-A247-D7F6C8257EF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277447$823878A8-EC9B-42BD-8037-2A2280487ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3b919bd7b11be6554d12c13877ec500a2923f89","datavalue":{"value":"data analysis logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277447$C1290584-5854-4AFE-9264-7178BE23817D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c59ebf83a5a455db47ff2e8789e3d0db7440a19","datavalue":{"value":"information systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277447$3B4544C4-B3FA-49BA-9E5F-BD938605EA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636e1835190da1e480b62f254da21149cdde6004","datavalue":{"value":"modal logics for knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277447$F7F00680-6ABF-4092-975B-A842C1F19A99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f176c57a4367ad5b382cbda8b83dad6c2cfec594","datavalue":{"value":{"entity-type":"item","numeric-id":213236,"id":"Q213236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277447$48D31C52-0719-45E2-A2A9-010DF32EC08B","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":"Q2277447$4C80CB27-4481-42B4-BCE7-D9492E07E04F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ac3b92dc129bdfe56bad064b5964f97940e2bd","datavalue":{"value":{"entity-type":"item","numeric-id":5825229,"id":"Q5825229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277447$D63F28EF-1E35-432A-80DE-0C3B0AB910A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26397b126545fbfece88c979577fd04b9673081d","datavalue":{"value":{"entity-type":"item","numeric-id":1058847,"id":"Q1058847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277447$ABBF78A9-0D94-4729-B3DC-BD94BFE1235B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa7d6f996414abf1bfac188de7161bdb10e74a3","datavalue":{"value":{"entity-type":"item","numeric-id":5332822,"id":"Q5332822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277447$2C48224D-4C76-4F68-89D8-28FE99F9F9DC","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":"Q2277447$6BCE0967-4885-4289-9058-1D1675B9CEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4147956e44629e0458706510a0d392b601065ca","datavalue":{"value":{"entity-type":"item","numeric-id":3795306,"id":"Q3795306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277447$379A9502-7ACA-4AB3-9EB4-A9B78AF9E3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8323fe7328724d47571f4779723ecb8b6c10dbb9","datavalue":{"value":{"entity-type":"item","numeric-id":1063586,"id":"Q1063586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277447$B65A6833-9610-45AF-9E9F-01B601EAE389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409db2aff99b1e7119086b7f7c05d15c6a7459d6","datavalue":{"value":{"entity-type":"item","numeric-id":3782852,"id":"Q3782852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277447$A1E0702D-8499-4661-B501-B93CD606132C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f20897ca88ec76b9d1fe262cdb0eed7e7492578e","datavalue":{"value":{"entity-type":"item","numeric-id":792780,"id":"Q792780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277447$9B9BAA49-502D-48F1-8B80-CD3900D1F18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92934696e4e51b6db1fb2cb745450bb12eeb5c51","datavalue":{"value":{"entity-type":"item","numeric-id":1152957,"id":"Q1152957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277447$EF65115B-E441-47C4-8B4F-88AAA03A7931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bd738f2843188e675b23c6e0f6300cf1c1d2bd","datavalue":{"value":{"entity-type":"item","numeric-id":3967078,"id":"Q3967078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277447$E1612716-FE0A-4FB3-82F4-9601A2787776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d24c84ef0d45ddef0fe3a91aca423b08a5994d0","datavalue":{"value":{"entity-type":"item","numeric-id":3784806,"id":"Q3784806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277447$D69781BC-D48B-4485-8602-D4379055D42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c43073869ad19af3d7d3c84c26c1451c29bbbd","datavalue":{"value":{"entity-type":"item","numeric-id":1150592,"id":"Q1150592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277447$A57F4861-F977-4F3A-8F8F-5B7E0A2BFBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16a1aee5ba30134d85bbea3ae8ff9f978a1b201","datavalue":{"value":{"entity-type":"item","numeric-id":4047529,"id":"Q4047529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277447$67BAACD7-F637-41B6-8B34-9F25334321C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1a924e6377ac5df15e1db1826b01b3a8acd026","datavalue":{"value":{"entity-type":"item","numeric-id":1150593,"id":"Q1150593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277447$B85BEE95-0C63-45E1-9549-4118D0C29B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af91e47191d76d5f281ba7dfdfb14cf60c2e35e3","datavalue":{"value":{"entity-type":"item","numeric-id":1183584,"id":"Q1183584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277447$AC8C4F93-9742-4637-B51A-93EDAB04AFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"330ca6e281fc13d118be5949ee2fea7c6dc90fbb","datavalue":{"value":{"entity-type":"item","numeric-id":3346320,"id":"Q3346320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277447$41C69C83-4D84-4546-863D-91A57108C562","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2758dff8deafb3580676b0f02b94ab40c473e543","datavalue":{"value":{"entity-type":"item","numeric-id":1183584,"id":"Q1183584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5efdb20b747b882153ef1a932db6e217610908","datavalue":{"value":{"amount":"+0.8780303001403809","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":"Q2277447$ABCEF81F-7E8E-4B38-8E43-93CC225B162B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae59022c747f3171d4478304a839013d6dcb70b","datavalue":{"value":{"entity-type":"item","numeric-id":4941839,"id":"Q4941839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5efdb20b747b882153ef1a932db6e217610908","datavalue":{"value":{"amount":"+0.8780303001403809","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":"Q2277447$04C627F4-3326-4641-AA1E-C1CD41871521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b1f67eee6e1925d5f66188dac6e29cec8615459","datavalue":{"value":{"entity-type":"item","numeric-id":4027733,"id":"Q4027733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bd6967218fbb2ee57ac0a3e6dab3ec94c67761e","datavalue":{"value":{"amount":"+0.831718385219574","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":"Q2277447$BBBF996D-569B-4C6E-8115-CFC2C691A974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e759dea9757b0c7f08561c55df2fab5df7273d2","datavalue":{"value":{"entity-type":"item","numeric-id":3341946,"id":"Q3341946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bd6967218fbb2ee57ac0a3e6dab3ec94c67761e","datavalue":{"value":{"amount":"+0.831718385219574","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":"Q2277447$BB5F2D02-DE25-4646-BBBB-350CA90FF9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16e09e790a4f9a1be97b51a544c68ba62a35db8d","datavalue":{"value":{"entity-type":"item","numeric-id":4729757,"id":"Q4729757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a35a699b77d38be8bb5a625524f40216c3781e7a","datavalue":{"value":{"amount":"+0.8243857622146606","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":"Q2277447$EEB8ACF6-9425-4B14-8B40-571A14A7CE06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277447","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277447"}}}}}