{"entities":{"Q1386685":{"pageid":1397425,"ns":120,"title":"Item:Q1386685","lastrevid":68597958,"modified":"2026-04-13T00:49:34Z","type":"item","id":"Q1386685","labels":{"en":{"language":"en","value":"Logic of knowledge and utterance and the liar"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1156519"}},"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":"Q1386685$15CF8207-9DAF-473A-B426-9D96B735A1C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"188be6ae56e28b5c135b43874536f1c6f668e99c","datavalue":{"value":{"text":"Logic of knowledge and utterance and the liar","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1386685$AA6A820F-AD65-49D7-B83A-3506B8F25BC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd1c4fa3bb73ccaff98cd24b94cf14a21b6bd9c5","datavalue":{"value":"0903.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386685$A7258091-F3CA-4D77-A164-BF0C2EB4FE97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39eb3201f5af6dee1b7f85d365a5b85acfe19aa5","datavalue":{"value":"10.1023/A:1017946620987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386685$D2FC0206-8D6D-40D5-8A5D-B8EF4D02283D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f229160cda5c5550848d5e8f96f3c0c964b6e6c1","datavalue":{"value":{"entity-type":"item","numeric-id":175059,"id":"Q175059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386685$9451D74E-4769-4A9A-8172-1A5BB12D214F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386685$2BF4C063-4AE6-49AF-B214-56CDA71D6483","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"569b07b5a75da030fb671cb78cd99087e40d880a","datavalue":{"value":{"time":"+1998-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1386685$B6634899-F17F-445D-B80F-DBDA50F80B41","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3c1f7ab39b7fecaf807d6f6252c348e3f2a9f437","datavalue":{"value":"To an S5 logic for knowledge is added an operator \\(U\\phi\\), to be read ``The agent utters \\(\\phi\\)''. The rules of inference include modus ponens, logical omniscience (If \\(\\lvdash\\phi\\) then \\(\\lvdash K\\phi\\)) and logical omni-utterance (If \\(\\lvdash\\phi\\) then \\(\\lvdash U\\phi\\)). The resulting system can then resolve the Liar paradox provided that lying or its opposite are taken to be intentional states of the speaker. Semantics and soundness and completeness proofs for them are provided.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386685$8DE4D9F6-0464-415F-B1ED-F5E6D6CC08E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386685$5F6753AA-6774-4B4C-BA90-2749EF94760F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386685$6245BD53-4C1C-4CEE-82A2-E6CE829E9524","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18ad0a8b097b14312859fec1e119c0274249f7e1","datavalue":{"value":"1156519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386685$CE5951DB-5791-4FA0-A46C-4D3BA1096C2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2072ac50d117917e9672f0db3614f9749d72c621","datavalue":{"value":"logic of knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386685$2BD0C48A-A443-423C-BF7E-AA06DB8FD547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8e8405d59039369f79359c280b0bf5ca5216153","datavalue":{"value":"utterance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386685$18DAFF10-7420-462E-9C6E-3243C5D7C14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386685$B979DC26-6BAA-47A4-AD13-C92E4B3A1BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3c54293d61fc5770c67f452f7f9797031a101ef","datavalue":{"value":"Liar paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386685$60237221-7428-421A-85C7-EFA9ED503338","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5e4a390b9b69e1baf3efd1df8ffc4e33c0c36022","datavalue":{"value":{"entity-type":"item","numeric-id":1234661,"id":"Q1234661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386685$884203AE-A12D-40E4-A340-B2A955EB268B","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":"Q1386685$DD5C6D4F-49F5-4908-93E4-6F1BF14CA6DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9002b11d3ce5a7f9f2de54d4d590fb5f5bed4366","datavalue":{"value":{"entity-type":"item","numeric-id":3993251,"id":"Q3993251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386685$9FE01CDD-539C-494D-846C-9504D9DFD618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb352cf3a8aa1bcadf6623070f33c0f521239455","datavalue":{"value":{"entity-type":"item","numeric-id":4342093,"id":"Q4342093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386685$97AFFBAF-B557-4056-B592-742EAB104708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e6abd9e79d53efb9ec4ac8b70af69a7aec8fe7","datavalue":{"value":{"entity-type":"item","numeric-id":1104923,"id":"Q1104923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386685$54BA1AE1-4B92-44DF-8BB5-BBD962EBD562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94284ee8fcbd451899be71423e8f6c3441e429cf","datavalue":{"value":{"entity-type":"item","numeric-id":3760496,"id":"Q3760496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386685$99F969E0-BB29-415D-AC95-C145636F4D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180e83142a2cc29a3e9e5c07edbddb6eb54db909","datavalue":{"value":{"entity-type":"item","numeric-id":1213428,"id":"Q1213428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386685$D107A0C4-33BF-4C3C-9B47-98C340154623","rank":"normal"},{"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":"Q1386685$B95A6446-33FB-4F3C-AAE3-3BA484F199D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57a77507e7c4ed95e6695800549cda6449b6715c","datavalue":{"value":"https://doi.org/10.1023/a:1017946620987","type":"string"},"datatype":"url"},"type":"statement","id":"Q1386685$FA7514D5-9FB8-4206-9C10-3BDE86DBBD7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18992e02900dd7213e73748cc164e56a0b4aca59","datavalue":{"value":"W2002010538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386685$D8419B3F-BC48-477D-BFAD-AB3406A4C500","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be6a35efa5e71fd449d2525c022f65e0fd49586d","datavalue":{"value":{"entity-type":"item","numeric-id":4271949,"id":"Q4271949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26831e9308a4909ba1727b36ca6bd7380c81ee1","datavalue":{"value":{"amount":"+0.90852344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1386685$EC9842A6-4634-48B0-863D-92A6426E42E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ffbe7e342be5354d5ac8d46462873b19ffee00a","datavalue":{"value":{"entity-type":"item","numeric-id":514089,"id":"Q514089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d28d78ff2923831614ef427646def0fc062a9075","datavalue":{"value":{"amount":"+0.90320605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1386685$11A4F1A0-D180-483E-A01B-4C2797E1967F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98739b2d0fc2833b58cc934f0342a708dd0ab03f","datavalue":{"value":{"entity-type":"item","numeric-id":3529845,"id":"Q3529845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6898ea1ce38b9f06a1c5905e5310ad8941c77ba","datavalue":{"value":{"amount":"+0.8947829","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1386685$69B87F46-C091-45C7-8BCD-6CE180FF1F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796b4a2b79d4cc0d48b0c2ec190c957da2a9f08b","datavalue":{"value":{"entity-type":"item","numeric-id":2641287,"id":"Q2641287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d995e373f832a86884d29abd5cfaafbced89f7d","datavalue":{"value":{"amount":"+0.8920803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1386685$5C8722D5-3298-4342-A4CF-9BE92DD64578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0390c9facf40f53f4477735253dea33cad01d0","datavalue":{"value":{"entity-type":"item","numeric-id":1876108,"id":"Q1876108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9447493909d7384e1d41ef90b2105981d50c5bc","datavalue":{"value":{"amount":"+0.88531137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1386685$E5D9E719-5F17-406D-B83B-400C00A4C13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"938275634a12fda1d497c98736417ed00005ee65","datavalue":{"value":{"entity-type":"item","numeric-id":4817175,"id":"Q4817175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa02973a39a35854318c8c87136b7d8239752bd","datavalue":{"value":{"amount":"+0.88182175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1386685$C97253B1-F276-4D53-9A57-D1B22B645721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c825f34f1616f17f380547e46c3c7ca16ab3d56e","datavalue":{"value":{"entity-type":"item","numeric-id":5411454,"id":"Q5411454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad48e8ee56e6bbcfffdf9ec33c31d34fa505275","datavalue":{"value":{"amount":"+0.87791604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1386685$D5EF9542-E3F9-44C6-9B9D-22208DFBA158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab840163801d52dd16bfc24075a67df7075242d","datavalue":{"value":{"entity-type":"item","numeric-id":4314072,"id":"Q4314072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"decba4c932567af88a8ca3523b64e2e4c5fb0867","datavalue":{"value":{"amount":"+0.8772267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1386685$72E3AADD-0FFD-4944-BFB8-D674A378F540","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic of knowledge and utterance and the liar","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_of_knowledge_and_utterance_and_the_liar"}}}}}