{"entities":{"Q5973201":{"pageid":12560846,"ns":120,"title":"Item:Q5973201","lastrevid":105426803,"modified":"2026-10-09T10:06:12Z","type":"item","id":"Q5973201","labels":{"en":{"language":"en","value":"Epistemic Logic"}},"descriptions":{"en":{"language":"en","value":"AFP entry Epistemic_Logic"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"b48f2aa22481bee3731cacdbd9dce520428f9b0f","datavalue":{"value":"42014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5973201$FB10C0BA-A9E4-41EE-9670-071E6D9F802F","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973201$0C4D2F84-AC91-48EF-91D3-A67E9DAE13CC","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"26c99b10fa538a5e773bf9351d1c80cdaf56e049","datavalue":{"value":"https://www.isa-afp.org/entries/Epistemic_Logic.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5973201$15D76395-5DC9-4B73-8E2C-3A12DBA4C11D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5973201$5CE84EE1-1AB7-489F-9ABA-886EF234D133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5973201$4E48B18D-E070-4ADD-B800-8A2F32C9F75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5973201$DD3AC762-DC44-4A9E-BD6D-455623ED5DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5973201$8B09157A-DF81-4EDB-AA9A-95745875096B","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973201$7AF2243C-6350-4AF2-894C-86A08892C4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973201$6DD3E6A8-7A4C-490B-BEE0-2D87112485BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a0a329d132b963c571723538ca5cd1b467b324fe","datavalue":{"value":{"entity-type":"item","numeric-id":40325,"id":"Q40325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973201$EA3F2198-715A-45AC-8FD9-8C51899D184A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0204f081facf570c6ab1a272475183b48ae5e4f2","datavalue":{"value":{"entity-type":"item","numeric-id":40286,"id":"Q40286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973201$6AA3A06E-68EF-492A-B386-84280E5DFC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e58bd8100179970e6dd14964997f435e21491d5c","datavalue":{"value":{"entity-type":"item","numeric-id":18928,"id":"Q18928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973201$6E7AFA47-C400-41A5-A7DF-7A86EAED0AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973201$2FE656FC-209C-4B06-8ABB-2B354302AAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a0d1c22202571b1ef1fb04034f261c7342211c8d","datavalue":{"value":{"entity-type":"item","numeric-id":15589,"id":"Q15589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973201$B1D7CEE1-02F9-4DF9-A6CC-FE7EBBF8F393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973201$498632A0-1575-4A5B-8EF3-2180CF6B0E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28fc316ccc1f38bd6830fcffe3187b6d32168084","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973201$4A3A1D46-13B4-4E0D-B629-A01198A35D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"493c5144a9d14f0b980d45769fb4b197b51b453c","datavalue":{"value":{"entity-type":"item","numeric-id":40555,"id":"Q40555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973201$1131A5CA-230C-4181-BE67-A05A6303A3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7ef1082544496cdbd626aabd0ffce07a1cf4d46a","datavalue":{"value":{"entity-type":"item","numeric-id":40285,"id":"Q40285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973201$FDFFC8F4-07BE-4B0B-BBA8-501AAAEF5232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b3df43f02eb541c419b766c9dd663037c99c0a0e","datavalue":{"value":{"entity-type":"item","numeric-id":40545,"id":"Q40545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973201$632B2AA2-0EEE-4FD4-B7CC-5355E80BC097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8bf2731143fd82a1f95f40f13b2fce56fbb7345a","datavalue":{"value":{"entity-type":"item","numeric-id":40299,"id":"Q40299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973201$518C109E-87E2-4994-A681-A2A306754C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9a2aad95369d69c08086a6600b609b3220c2705e","datavalue":{"value":{"entity-type":"item","numeric-id":40276,"id":"Q40276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973201$7807BCD8-E5A7-47EE-9C0B-CD7841686A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d6d29b9e294eea1a26ce05a4d8663847cfc55575","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973201$B1FBDCF9-4669-463E-BE7E-9D2CDEEA62C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3118ffc1a9fee8666078f1497bb988d36f0abcf","datavalue":{"value":"https://isa-afp.org/entries/Epistemic_Logic.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5973201$C409CA35-4E3B-42B4-9BF4-7C6C2714D7C7","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"812c10ac7a5795cec4f806d989a562680fd7fa78","datavalue":{"value":"Asta Halkj\u00e6r From","type":"string"},"datatype":"string"},"type":"statement","id":"Q5973201$54FE8A44-F423-4308-8356-BA32BB78E12C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1c75619a1679955a4f397aece41fba8a781f8ac0","datavalue":{"value":"This work is a formalization of epistemic logic. It includes proofs of soundness and completeness for the axiom system K. The completeness proof is based on the textbook \"Reasoning About Knowledge\" by Fagin, Halpern, Moses and Vardi (MIT Press 1995). The extensions of system K (T, KB, K4, S4, S5) and their completeness proofs are based on the textbook \"Modal Logic\" by Blackburn, de Rijke and Venema (Cambridge University Press 2001). Papers: doi.org/10.1007/978-3-030-88853-4_1 , doi.org/10.1007/978-3-030-90138-7_2 .","type":"string"},"datatype":"string"},"type":"statement","id":"Q5973201$9B452098-01EE-4D1D-A3C0-24BD13833DF6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973201$1A5665B3-CE30-4D19-B49A-E77EF8E636D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973201$B4DF2BDA-3D09-45FA-9B79-9941824C4AF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0261b8ac88ee51589f469e73661e254ddc77a30","datavalue":{"value":{"time":"+2018-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5973201$044301F5-402B-47A3-A666-3FED939622C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0e95ca176d4c2893c737fa0c70494e4afd37651","datavalue":{"value":{"text":"Epistemic Logic: Completeness of Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5973201$81A67170-186A-4238-AD8E-635207A4C5FE","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973201$BB224540-6389-490B-9B56-5CE1AD1E4E45","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"68e628a6368f60b065ac65b76c4f4353eac2fc32","datavalue":{"value":{"entity-type":"item","numeric-id":7360811,"id":"Q7360811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973201$8D0D6126-DD46-4704-A77B-7C0AFA38CD15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Epistemic Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Epistemic_Logic"}}}}}