{"entities":{"Q1814181":{"pageid":1824923,"ns":120,"title":"Item:Q1814181","lastrevid":69029007,"modified":"2026-04-13T03:50:09Z","type":"item","id":"Q1814181","labels":{"en":{"language":"en","value":"A general possible worlds framework for reasoning about knowledge and belief"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 10264"}},"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":"Q1814181$652E7204-E1CB-40AC-AC35-8BBC5544D4DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74882b4f065f834c0f2d659845667fae415657e2","datavalue":{"value":{"text":"A general possible worlds framework for reasoning about knowledge and belief","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1814181$D1D9EA1A-1CD3-4686-B7E8-22A9994A2B1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6e5ffefff48bb3a43a8cc3c5c37d16871c427ad","datavalue":{"value":"0744.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814181$9C691C88-4EAC-428C-8964-C7EE4B51B5EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24952f3178697dc18b4ff3288758c8b83c76fe9f","datavalue":{"value":"10.1007/BF00370163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814181$39446233-1E59-4078-9FB2-0C904666E17E","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":"Q1814181$C38F73B4-2EBE-4AFF-BD47-DFC139E694F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1814181$70CB7DB9-8C6A-4440-BF74-C44BE000A19A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cd5afff877335177fc224a379f8b38c188c03b81","datavalue":{"value":"It is shown that there is a unifying semantic framework --- Rantala's non-normal worlds semantics --- for various model theories of knowledge and belief which successfully avoid particular aspects of logical omniscience. The basic intuition behind the non-normal worlds semantics, intuition of compatibility, is expressed by the author as follows: ``agent \\(i\\) knows at world \\(s\\) that \\(F\\) iff \\(F\\) is true at all \\(i\\)'s epistemic alternatives from \\(s\\) (true at all worlds compatible with what \\(i\\) knows at \\(s\\))''. Non-normal worlds semantics is compared to the model theories of logics of knowledge and belief of Levesque, Fagin and Halpern, van der Hoek and Meyer. The results of the comparison: Every nontrivial structure for implicit and explicit belief (of Levesque) induces a Rantala model validating precisely the same formulas. Analogous claims are proven for Kripke structures for awareness (general awareness, local reasoning of Fagin and Halpern) and for Kripke structures for awareness and principles (of van der Hoek and Meyer): they all induce a Rantala model validating precisely the same formulas.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814181$B14D6FA7-F77F-4844-A044-9398F729E034","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814181$AA349476-47F7-4FB8-A494-517FC6A47D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814181$35799972-A473-408C-993D-013FFAF5046F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814181$BA7D19F8-A10D-4696-8052-D3D769BF917E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814181$0B36E2CF-E4A1-40E7-93BD-A63E27042EC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"862573f331eb6487c9f8c11876bdf1ac2a5f61c5","datavalue":{"value":"10264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814181$2F4F76E4-FC42-4588-8E76-85B95C94A174","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814181$77BD9DBB-2200-4EDA-8569-3F7AA1DBE68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e21924025b5f18ac7160b28b6a809185c9a352d","datavalue":{"value":"Rantala's non-normal worlds semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814181$676FD672-1A5F-4120-AF97-C9FD6E69C2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a15dfbf97416b896a9a02529661e7dcdc6689646","datavalue":{"value":"model theories of knowledge and belief","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814181$5DB008CD-5DF4-4A42-8897-5AC57ED11389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cb306d64a27fe24e658c6f12a47062d134b4093","datavalue":{"value":"logical omniscience","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814181$CCB4AA7A-19F9-4274-A809-0C4646EF01F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fc39259cbe7c18006e55a360b989045f125d9f8","datavalue":{"value":"Kripke structures for awareness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814181$4A90D46C-AC9E-49C6-939B-C9DF5583A7B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814181$127E3C9B-A4FE-4C15-8DD7-35A3AABFB982","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f16d300f1af622676dccb372accc3bc0c9d577af","datavalue":{"value":{"entity-type":"item","numeric-id":588374,"id":"Q588374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814181$1CEC0328-D060-4A8B-9D72-4999A6C6886C","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":"Q1814181$A2D2ACC4-28F7-49E7-8D3C-51CF5EFFBD10","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814181$25EB2C01-98BF-44CE-9108-542F83F51C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b248c9a41ac79c43d6cfda81503444339c93564","datavalue":{"value":{"entity-type":"item","numeric-id":5791196,"id":"Q5791196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814181$3A475C46-51C2-434D-A49D-EFDE0633D959","rank":"normal"},{"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":"Q1814181$7980BAD9-2FB3-45DE-B874-D849D3B15972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcf72eb583bed034e812cc9bb5b0f7cb389cbc3","datavalue":{"value":{"entity-type":"item","numeric-id":2553429,"id":"Q2553429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814181$180B9F00-9041-4CF6-AE62-5B5F47BDC5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b21225b3c93355a1edbef9af76d5006098edd92","datavalue":{"value":{"entity-type":"item","numeric-id":1217694,"id":"Q1217694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814181$4C24509D-91CF-45F9-9253-1EF573CD840D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814181$C760BA47-C018-4BF0-AC87-62CDC6BDEE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d2a1acabc8d0c27a05aa69968baa678ad24687","datavalue":{"value":{"entity-type":"item","numeric-id":1096610,"id":"Q1096610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814181$2DF4EA53-3BED-461C-9931-A0150D21D7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f5fe20d83f186da263bb3c4b7b03355022a470a","datavalue":{"value":{"entity-type":"item","numeric-id":3713798,"id":"Q3713798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814181$A9FB821E-33B7-442C-B6F9-A6E6311F149E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c22873c5fa1d0425919b1a3196c15c1d8b2833","datavalue":{"value":{"entity-type":"item","numeric-id":1228476,"id":"Q1228476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814181$ABAC0356-F203-4D14-A61C-EF3068F7C823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e33d5bf03512a7c947150a4608bd4eb8301363d","datavalue":{"value":{"entity-type":"item","numeric-id":3669369,"id":"Q3669369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814181$3E9B588C-199F-415B-8C1B-6C6E76491282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70cbb903fd29930e4503c0a81c015221c53c784f","datavalue":{"value":{"entity-type":"item","numeric-id":787129,"id":"Q787129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814181$ED2E4BA0-141D-46E6-8DC7-7E4500FA5D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc6e4f79a0bc3f5ee1cc537f52804ee20d8961b","datavalue":{"value":{"entity-type":"item","numeric-id":4735170,"id":"Q4735170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814181$BB6AAE41-A010-4BDD-AC10-AF32E457E7AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b10c9f5d9ffe0f34f4c3e6f4e97e8072e7a63f","datavalue":{"value":{"entity-type":"item","numeric-id":1096610,"id":"Q1096610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b51e84088c59d83600ef570b38684ef4261dbc5","datavalue":{"value":{"amount":"+0.8189305067062378","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":"Q1814181$5BA71750-38D8-4CD1-9BB3-7DF5E4814491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ad1c25dde93973fd6bf3ee19762da5a5a4dea0","datavalue":{"value":{"entity-type":"item","numeric-id":2218706,"id":"Q2218706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d94999aaba69d7b1908feaaf92eb820c9d551d1","datavalue":{"value":{"amount":"+0.7787952423095703","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":"Q1814181$0E17ABFB-8F91-406B-B397-FB1B7B3047BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf276d0bd01b852165f231ef2c3af461e14ebf84","datavalue":{"value":{"entity-type":"item","numeric-id":4833778,"id":"Q4833778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd648e53c4d77e8828858a0b2c9d9c88dabdfae","datavalue":{"value":{"amount":"+0.7773469090461731","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":"Q1814181$AE6C1418-2512-46FC-9C9E-BC5E70817330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94311c75a8da453991c24e623c51a2dc0e364950","datavalue":{"value":{"entity-type":"item","numeric-id":4440786,"id":"Q4440786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af144946c7da7e580c70ca98d25207b1c6baa82a","datavalue":{"value":{"amount":"+0.7763736844062805","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":"Q1814181$A46246FB-134A-4CC3-9626-16BA89C2BDAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A general possible worlds framework for reasoning about knowledge and belief","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_general_possible_worlds_framework_for_reasoning_about_knowledge_and_belief"}}}}}