{"entities":{"Q1015490":{"pageid":1017338,"ns":120,"title":"Item:Q1015490","lastrevid":65957724,"modified":"2026-04-12T06:34:56Z","type":"item","id":"Q1015490","labels":{"en":{"language":"en","value":"How true it is = who says it's true"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5552255"}},"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":"Q1015490$841F5B99-CC8A-422A-A6F9-FBCB9437BB54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4255b37f93bad31752519920aff4eb9fd01f059f","datavalue":{"value":{"text":"How true it is = who says it's true","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1015490$B6FA7D60-C6E4-4033-8996-0BB872964E84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea61e78564187b073bb7c5da35c663f0ec0ae623","datavalue":{"value":"1173.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015490$B4ABFEF9-8C09-4F28-94D1-AF287559AA97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015490$D6FC330D-3E3C-4EF2-A447-B8C282414CF5","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":"Q1015490$9EA4EE2D-44BC-441B-81BA-E73D9E19E123","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0cec347d54f050ae0dec1dd3bc541b9e6406b282","datavalue":{"value":{"time":"+2009-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1015490$25362A28-DB3B-47E8-8A19-AA058C578D93","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a05201ca976c42ef106264f8ed2e2123b5d7801b","datavalue":{"value":"In this chiefly expository paper the author presents the idea of taking the truth value of a formula to be the set of agents who accept the formula as true. This leads to a truth value space as an arbitrary (finite) Boolean algebra. This is formalized and a complete tableau system provided for a modal logic with propositional constants. This way of looking at things has utility especially for knowledge representation for multiple agents. This is illustrated through discussion of the `muddy children problem'. Nevertheless, as the case study shows, open problems remain regarding the proper formalization of various natural language statements, such as express negative knowledge and common knowledge. The ideas presented here are developed more fully and technically in other works by the author, and others; cf. e.g. [\\textit{M. Fitting}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No.~3--4, 235--254 (1991; Zbl 0745.03018)], [\\textit{M. Fitting}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No.~1--2, 55--73 (1992; Zbl 0772.03006)], [\\textit{M. Fitting}, Stud. Log. 55, No.~1, 63--87 (1995; Zbl 0837.03017)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015490$77C6529F-F5FD-417E-9318-B42F86956BB5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015490$9FFEA35F-5CBE-4E29-ACDD-6A057FBC9C5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015490$1E804999-1441-4D02-BC4D-36F4565CC14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015490$1A734544-B23B-4C41-8A4F-6702763B9EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015490$B47204BF-9EE9-4DD1-9424-40018A2F6CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015490$F332C215-1783-4553-A73C-58402ECBF765","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec93bf43d55462a6d7f92055ddd5728ea31dd077","datavalue":{"value":"5552255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015490$86DA947E-B2AD-414A-84CC-F90D3C39D6D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015490$7AE2A47A-74F1-4C05-B94F-8ED215187BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015490$7098F3A6-98F3-4596-B2FB-238613F3CA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2072ac50d117917e9672f0db3614f9749d72c621","datavalue":{"value":"logic of knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015490$00D21DA6-1448-4585-A9F5-082284EA9B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015490$1CBA5C3B-7689-44D2-B30D-0C9047C38C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015490$0F2D6C8A-6DE9-424D-B10D-616CE16BB9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd47118910fdb38c46f5f4fe99e3757adf12edc8","datavalue":{"value":"tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015490$2530D57D-F956-49D7-800F-C07E9A2B98A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b360927235b5f5c7fa7de466b9c2c94ed916566","datavalue":{"value":"truth value","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015490$2EB5186A-474A-4B00-9EA6-7A7AE39A09C3","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":"Q1015490$3A3D5231-7B81-4312-A071-3A2498967F06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19fdeedc3bda4b3af13d33a5e600d3fed175cb0e","datavalue":{"value":"https://doi.org/10.1007/s11225-009-9178-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1015490$63950F46-13AB-4F75-8966-002669880BEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70638f304f87c17d26b3dcbf222ca15c552daed2","datavalue":{"value":"W2049804170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015490$838FCEBB-01A1-4E60-B90A-F07CF3207815","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015490$2467702A-D546-473E-8204-E1B7E0075B0F","rank":"normal"},{"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":"Q1015490$9F7656C9-B08B-4CC5-A22E-FDD41B829C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"011c925f0ac54cd70126a579dc95961aec48e862","datavalue":{"value":{"entity-type":"item","numeric-id":2882558,"id":"Q2882558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015490$BDFFB2F8-F2EC-4CB9-AF19-D3C37C9EEB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c2a682b2e9dec9a4775e1451429ca20ffba5fe","datavalue":{"value":{"entity-type":"item","numeric-id":3989936,"id":"Q3989936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015490$8E8850AD-EA98-499C-A7E1-A48B41E71E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6a56147721f5558561f9dc5063b26167a3efa0","datavalue":{"value":{"entity-type":"item","numeric-id":4022223,"id":"Q4022223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015490$3E0A8B79-E22F-4EEE-B4BE-EDE1FAE47768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"080deb4490b94d98adff6c9efd9e9ddb8cdd4a58","datavalue":{"value":{"entity-type":"item","numeric-id":2757807,"id":"Q2757807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015490$D819A862-6819-42F8-8C8A-F34226FC8AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931a4c9d6ac7f53dacfa1f30fa27915cca5f4b97","datavalue":{"value":{"entity-type":"item","numeric-id":1896755,"id":"Q1896755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015490$F7B62BDE-15C1-4B38-B38C-C7781F0BB901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015490$CEB43282-96DD-47CD-9258-46FD4D053CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a5cb8c322dc26c8e810c631aea33811fcdcdb8c","datavalue":{"value":{"entity-type":"item","numeric-id":5465438,"id":"Q5465438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015490$403347A7-8EB5-4941-B32C-1CD7E19FD4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba344e09064796240a2992a098e6787c5ca84369","datavalue":{"value":{"entity-type":"item","numeric-id":3604278,"id":"Q3604278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015490$D4DA0FE2-7E7F-416F-B26A-B933A1103965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"646e1fd3cdad8584cd1ca422de8b462098fe0d69","datavalue":{"value":{"entity-type":"item","numeric-id":3971113,"id":"Q3971113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015490$47782D15-5233-49A8-A5D7-EBE5D67EF127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7787d82109c9667d79828ef079872b8b9157c7e","datavalue":{"value":{"entity-type":"item","numeric-id":3647203,"id":"Q3647203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015490$D0C131F2-7AD2-466E-A34C-79029ED4D24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b40fe077ddeeaa8c4711f3cd53ebdc549f873b","datavalue":{"value":{"entity-type":"item","numeric-id":4458495,"id":"Q4458495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015490$B7CDB3D8-2E1B-4155-A056-DD6FB961FC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e182b19ac82c22ef7df7a7a510cac588f6deb66","datavalue":{"value":{"entity-type":"item","numeric-id":3647307,"id":"Q3647307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015490$B200B146-1A1F-4C11-B579-85FF73F7176C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58dae11d0608e228ebd8844b0d9121aa9ac5e6ae","datavalue":{"value":{"entity-type":"item","numeric-id":4779594,"id":"Q4779594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015490$036D2178-35B3-499E-8E58-D7E57FE6E49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8427093cf37cc1e3fda8e27c945d30adee8d5eda","datavalue":{"value":{"entity-type":"item","numeric-id":4444909,"id":"Q4444909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015490$D767C698-D0A1-41C9-B9BD-636D0D77B84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015490$3CE7A1E2-4657-4FF5-ACA5-96FDD2681458","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12a3fd016d0bfc388437b9e259c327f0e378afc8","datavalue":{"value":"10.1007/S11225-009-9178-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015490$D877BDCF-5AB7-4A42-A4BA-BFB80E34C22B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5753dcdd9f583f454bfff39ed957cb53f725ff","datavalue":{"value":{"entity-type":"item","numeric-id":4022223,"id":"Q4022223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ca4ca927a08f7d0e5af9ddc5b26e889ecc7bb5","datavalue":{"value":{"amount":"+0.7251909375190735","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":"Q1015490$39A0925A-58D9-48BA-88E5-15DF21DF981B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b257a674eaf536128c1a643bdc619e81662b02","datavalue":{"value":{"entity-type":"item","numeric-id":1330013,"id":"Q1330013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ca4ca927a08f7d0e5af9ddc5b26e889ecc7bb5","datavalue":{"value":{"amount":"+0.7251909375190735","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":"Q1015490$08EB05D1-F783-4E4E-A434-3F8C700DCFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"393c2d14d929b3d48c8354c84704c85ee9c9a234","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2514999150cd6d328b1bf21b70c2193b6b80a2","datavalue":{"value":{"amount":"+0.7249714732170105","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":"Q1015490$333C2213-00B1-489B-B0C9-1B96B612B8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ee15ea2dd1897172aad0c788ed1db0035a65c9","datavalue":{"value":{"entity-type":"item","numeric-id":143747,"id":"Q143747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2514999150cd6d328b1bf21b70c2193b6b80a2","datavalue":{"value":{"amount":"+0.7249714732170105","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":"Q1015490$A6CE5EE5-C9EF-4649-85A0-EFF69F8D684C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2c0f2abe9e540ba588086fc9f58ba9b0b4f553","datavalue":{"value":{"entity-type":"item","numeric-id":4304804,"id":"Q4304804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d61742bc4b09829203461d24b7c63c75556b471b","datavalue":{"value":{"amount":"+0.7206550240516663","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":"Q1015490$10BBAC26-C13C-4943-B778-32C40007A05E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How true it is = who says it's true","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/How_true_it_is_%3D_who_says_it%27s_true"}}}}}