{"entities":{"Q2276949":{"pageid":2287692,"ns":120,"title":"Item:Q2276949","lastrevid":49478128,"modified":"2026-01-07T05:39:55Z","type":"item","id":"Q2276949","labels":{"en":{"language":"en","value":"All I know: A study in autoepistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4193651"}},"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":"Q2276949$BB590E80-414C-4B43-A8C4-6F40E83429C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ea6ea8f4141bb69dbbfa154d344d432e2b2eeec","datavalue":{"value":{"text":"All I know: A study in autoepistemic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2276949$B5011E5E-5180-4BB9-9EB9-8BE027C5C993","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2063737d265491ff9be32c46d9c87772367dabbc","datavalue":{"value":"0724.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276949$F89DE7AE-338E-4A21-8D87-BB67952CE839","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68fa19db843f6e63c36b7c5603b7077accd0887b","datavalue":{"value":"10.1016/0004-3702(90)90056-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276949$9950DF3F-3C41-4686-A180-E069AFD38531","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9973a1e4932f35595f4ff75a28d3c2375ee8ce67","datavalue":{"value":{"entity-type":"item","numeric-id":310091,"id":"Q310091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276949$0FBE4538-2AF9-44C6-A844-04245C5BC676","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276949$2FF95F54-FE83-4A7D-B893-D6270BCC0478","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":"Q2276949$53EBAB91-DEF8-4D90-9605-811012B0FEE1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9cba2e8625128297f65813da253f623eafa76f76","datavalue":{"value":"The author's aim is to approach nonmonotonicity via epistemic logic. The word ``autoepistemic'' hereby refers to the fact that the epistemic operators are allowed to appear within their own ranges. The epistemic part of the language contains the unary belief-operator B together with an additional (unary propositional) operator \\b{O}, with \\b{O}H meaning ``H is \\textit{all} that is believed''; of course the background idea is to apply \\b{O} essentially to finite sets of sentences (via their conjunction).    In a natural way there is a possible worlds semantics such that the B- fragment corresponds to the modal logic weak S5 (i.e. K4.5). This extended epistemic logic the author introduces here is studied first in its own right, is then related to the autoepistemic logic of \\textit{R. Moore} [Proc. IJCAI-83, Karlsruhe, 272-279 (1983; Zbl 0536.68074)] and the stable expansions, given a sound and, for the propositional part, complete axiomatization (which, yet, for the first-order case is not recursive), and is applied to some problems of nonmonotonicity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276949$3408C90E-5767-4533-BCD4-B224CF2FDEC5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276949$0F302027-C6DC-4AAC-9268-8CFCF4EEB89A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276949$96FF5D23-E065-4ECF-BDE9-AC1277DADA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276949$512F72EE-728F-47FB-A370-0C89048139D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276949$BBCE6C6A-7A4E-4FAC-87CE-CF0B57477691","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d34ed3ec0a479546b67e739696adddfe88aa2ad4","datavalue":{"value":"4193651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276949$FBF46168-B26A-4F76-AD93-0F597B18756D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276949$230361FF-EC76-4BC7-A21A-40CAF243477E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276949$62CED77A-7714-413C-B82E-DE16ABDAB5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99564d382d5f75f5910217a93e32a85f116ead5b","datavalue":{"value":"belief-operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276949$0C36274F-A5DE-49EC-96C2-EBA6771A5F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0179c11b620ab3d836a73c4e6e82bf8a434c8240","datavalue":{"value":"possible worlds semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276949$61D53944-14A8-4DAD-B714-8277B23B4C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276949$10DBA2E1-6258-4111-AA48-01FE4E23DB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc913dc049d8fe32d243e3587c27898ea3ba624","datavalue":{"value":"autoepistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276949$40B51449-A639-4A56-8149-4DE5D074C7EA","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":"Q2276949$7DBBA80D-8097-47A8-8BAC-6822B42DE3E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18a80a865ff45b5065f112344250b2c1f1a339b8","datavalue":{"value":"https://doi.org/10.1016/0004-3702(90)90056-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2276949$590C9A34-9D03-446F-AB37-7D8FECEBA2E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9edd5e8e21693b997f20b4d9cac6ac9a716c8667","datavalue":{"value":"W1991972474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276949$E604896C-B4D4-4089-A5FF-7F82B2D67B81","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"621cdcec343b8efd3c2373261ea2507bb6c2c9ee","datavalue":{"value":{"entity-type":"item","numeric-id":3703315,"id":"Q3703315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276949$8F81F63C-B81D-4CE9-AA7E-0552B096BFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276949$EF6140D5-7141-4A72-80FD-320F936518AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"262e0fc0c9acc0bb64d9975fe151b6db2ee24cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1104771,"id":"Q1104771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276949$FCB1CB8C-6D34-489E-8860-EFDB61F0BF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62005ec72ec2f611f752e07bf6457e9307f8e1d5","datavalue":{"value":{"entity-type":"item","numeric-id":799390,"id":"Q799390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276949$BBCF08C3-85E6-420E-B7FE-390C93AB6516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276949$0F6D3EB2-4917-4B1C-A643-6F531D5ACD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276949$C8DD2BBE-0FA7-444C-A104-9838A24CCD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276949$5B133F4D-CFAA-4415-9C52-A03C51E775ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d7f22852604e0ae2d8adddd43563b80145a7ccb","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bdc2534c726a6d3e0f5e3cbd4205800be011709","datavalue":{"value":{"amount":"+0.8612348437309265","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":"Q2276949$8567EFC6-8389-49E5-85B3-9C796FF0745C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab494eff9185ac5525528cf71c6769108ac63bc","datavalue":{"value":{"entity-type":"item","numeric-id":4287511,"id":"Q4287511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5b56e7c4103e3290f0e8d16534cf24778c00bf4","datavalue":{"value":{"amount":"+0.8566689491271973","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":"Q2276949$E89290B8-9B18-46F1-B47D-561DF0A93BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81eec7d7b73f4133e9b894d6a40f3dbd8f69c65","datavalue":{"value":{"entity-type":"item","numeric-id":1272349,"id":"Q1272349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c5812bbf2275d178e7704092ee05533842030c1","datavalue":{"value":{"amount":"+0.8461355566978455","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":"Q2276949$5D2C7BE8-0F7D-435D-9DDB-316C7B806930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c568ec16a132ab0a8bbab3d345d044674f1e3c1d","datavalue":{"value":{"entity-type":"item","numeric-id":1389599,"id":"Q1389599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c5812bbf2275d178e7704092ee05533842030c1","datavalue":{"value":{"amount":"+0.8461355566978455","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":"Q2276949$73BD3652-D190-47BF-BB62-3416C6290B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789623959325f74e70fb086616e176ff29dc8255","datavalue":{"value":{"entity-type":"item","numeric-id":1891263,"id":"Q1891263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07f0d63c95413d55bbb934af133d5e01f197b2c6","datavalue":{"value":{"amount":"+0.836616039276123","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":"Q2276949$EA9736BE-CEFA-47DA-AF63-CF43956F04C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2276949","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2276949"}}}}}