{"entities":{"Q833038":{"pageid":834886,"ns":120,"title":"Item:Q833038","lastrevid":64681710,"modified":"2026-04-11T21:31:24Z","type":"item","id":"Q833038","labels":{"en":{"language":"en","value":"An epistemic logic for becoming informed"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5593774"}},"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":"Q833038$8E33DA40-5952-4706-9D3F-830704A7A191","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20558233d7ce3fde4dc844a7f57792dc1f71af98","datavalue":{"value":{"text":"An epistemic logic for becoming informed","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q833038$1D6D2303-9583-4A83-90FC-2AD0ED72D93E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cd56c928314a086b932773c50fe9994b47466b1","datavalue":{"value":"1182.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q833038$B79EE2AA-DEC5-4D34-93EF-86C00DE024D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ea65557eabb45fd055fd0b5947a39214a47505b","datavalue":{"value":{"entity-type":"item","numeric-id":310084,"id":"Q310084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833038$AF6A9DFB-3138-4184-9F12-FAC54F8CB657","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833038$4985BD0C-4020-4AAC-BFF5-ED21F3AA759C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df94e054e7a05d25a940b5a2c6678ef94feacd3a","datavalue":{"value":{"time":"+2009-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q833038$E31402AE-43D4-4702-AD98-2A7276832D71","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"78ae06f97a3d1a7430bae9bd5b52f7f06a3bfd05","datavalue":{"value":"One of the author's main goals is to develop a constructive logic of the notion of becoming informed. For this purpose, the author assumes the language of constructive type theory. In this language he expresses different subjects discussed in the paper regarding the notion of becoming informed or related concepts. Relative to that language, several rules are characterized which are to be interpreted as expressing rules for the dynamics involved in becoming informed and, in some cases, its connection to knowledge. Later on, he extends the language of his logic of becoming informed by adding modal operators (interpreted similarly to the operators of the modal logic of provability GL) and introduces several rules for the modal operators in question. Formulation of the rules is guided by considerations taking into account the author's logic of becoming informed. Finally, the author considers several well-known modal axioms, discusses them and determines their acceptability again on the basis of his logic of becoming informed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q833038$BF0FD276-2616-4529-B035-FBDEC6165570","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q833038$F93AD405-A400-465A-BF4E-8745F22F8A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q833038$5659E981-8AD9-4B35-9EB8-E87639320591","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b18e4875cce65528b45c0a3f1b591cb7ddd8da9","datavalue":{"value":"5593774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q833038$AC5DCAC9-1C43-4DB0-8773-EA5E90C1D239","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a3cf95dddb3dbf653ccea8d8f56312059f350df","datavalue":{"value":"logic of information","type":"string"},"datatype":"string"},"type":"statement","id":"Q833038$CAE68BF7-28D4-44BA-A229-38D077A70D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q833038$3F1AAEDE-09E6-4FD3-ADCA-25555AE8D097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q833038$028002FD-3ED2-433F-B860-09C1E7DF0554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c571033ff16c215e1f7abc9954ffeda487dac7f5","datavalue":{"value":"logic of justification","type":"string"},"datatype":"string"},"type":"statement","id":"Q833038$7D537005-1D37-4329-AE2F-BD8E4FFF178E","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":"Q833038$34AB164E-11CE-46C6-9CB4-ADD9494DF63A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f0605557b361ebd48e5b2503ee796ba35692ec6","datavalue":{"value":"https://doi.org/10.1007/s11229-008-9413-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q833038$7B343AA4-FEC9-4BC0-AF50-B1AAA0B22C07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c6f07d87c9bf908d4d970414ac1e74a9e896d7d","datavalue":{"value":"W1991255368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q833038$AEE60AC8-BCF5-4DFD-AC4C-708B75AFD174","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c3e2851797a6b8e3eacb50dd74708d0186f2c5b","datavalue":{"value":{"entity-type":"item","numeric-id":5490623,"id":"Q5490623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833038$6B86A481-0686-4915-B43A-149A71BFDFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204b29a27f5014465bbf18a836ac1d7e769ef5a3","datavalue":{"value":{"entity-type":"item","numeric-id":1326774,"id":"Q1326774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833038$4D464EC9-138D-445C-B555-9CF95D8BB5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833038$F447C3E9-BF38-4597-AADC-8B296FDB8FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b1da72ca3738ae54c799ee3ad672846f73e0c6","datavalue":{"value":{"entity-type":"item","numeric-id":3371155,"id":"Q3371155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833038$4F0557FB-15BC-4DC8-B229-615A793724FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f7c85c9158e540c7bf3bd33b6efb83249fde9","datavalue":{"value":{"entity-type":"item","numeric-id":2431873,"id":"Q2431873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833038$26012CD7-4B03-4D65-8C30-DA1278A7C53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f321a0fc908382b7af5ccbc5e8641c69656fbac1","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833038$A4C200FE-D74D-4CE4-B213-7FF6DFA8F146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833038$1E8EC74E-AC4E-41A9-836F-70AC9338B450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833038$437223E5-2C42-4E3B-B3D9-D3CECF0785AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d4248debc07160dfa8cad155595771faf030f5","datavalue":{"value":{"entity-type":"item","numeric-id":5307995,"id":"Q5307995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833038$476C4E9A-A17B-415A-92F2-554154D21B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1dc9f77118731d07defbe2b73ecd4ccb123bd5e","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833038$6D90ADF8-7CA3-4881-97C6-4C7771876ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601cb07741d1cdb8443e15203972918d6a4be316","datavalue":{"value":{"entity-type":"item","numeric-id":3446280,"id":"Q3446280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833038$528D5FE9-B72C-454A-A17E-D136D34AC662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c61260845b8e097c83d2a0c6d0a0bdac3c24b4","datavalue":{"value":{"entity-type":"item","numeric-id":5446440,"id":"Q5446440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833038$0A853E1E-9A11-4105-B607-D69100320B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5052442e7e1b9c0ef196c5fddf52482beb5a13c4","datavalue":{"value":{"entity-type":"item","numeric-id":2464131,"id":"Q2464131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833038$195CB1D2-EF0B-4A13-8FF5-A6C1704AF30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b767d85950bf99e8910526fcfcbcb504d6a930ba","datavalue":{"value":{"entity-type":"item","numeric-id":1056745,"id":"Q1056745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833038$61823CD3-E8A0-41DA-9960-89DBA8FEE215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a821ac499f0496c149a9b10288f471c76016ba7","datavalue":{"value":{"entity-type":"item","numeric-id":5961667,"id":"Q5961667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833038$F4261A06-6EFB-4975-A622-021F227A5985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a728aa95ee08c8e4de3786a13a2c2ff932d852e","datavalue":{"value":{"entity-type":"item","numeric-id":1575638,"id":"Q1575638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833038$176D7CEE-2126-4EA3-81FE-2A6E5CB159B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c13bc504bd788bae8d3c7af9253d6ca12640910","datavalue":{"value":"10.1007/S11229-008-9413-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q833038$28B7A108-D3DC-4F50-AFAD-CC18B480557C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c489084bf61224a60891ca85a5e14fdf34154f01","datavalue":{"value":{"entity-type":"item","numeric-id":5446440,"id":"Q5446440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a545728d2dc9c3caf96347790a4d2250541e5128","datavalue":{"value":{"amount":"+0.8084292411804199","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":"Q833038$6534A648-DDE9-477D-B36E-B720EEB36E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf5096e3098a145fbffafd90c338c9140105316","datavalue":{"value":{"entity-type":"item","numeric-id":4903947,"id":"Q4903947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"295b6643c0080df66cd1a7fb886d06a538ee4532","datavalue":{"value":{"amount":"+0.7836833596229553","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":"Q833038$04AA0BC2-6221-4F0B-87E0-A212B673CF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eaaf5f00b94cdd1a34ddffa87c87891a1cabcdb","datavalue":{"value":{"entity-type":"item","numeric-id":3446280,"id":"Q3446280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7437d1671856a9646f81966ddb9657a31e5413","datavalue":{"value":{"amount":"+0.7658068537712097","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":"Q833038$D0C913F5-EA55-4959-84C6-5883DEDF73EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d7d0319005870a86b8586c6df8c114b880addbd","datavalue":{"value":{"entity-type":"item","numeric-id":1742621,"id":"Q1742621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e5abb2d98b7160c2ece45448cd1fcc88876c05","datavalue":{"value":{"amount":"+0.7385644316673279","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":"Q833038$6EDDA662-4A13-4F6B-BBEC-D6C60FA203C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e3373586c7e8464cb83179f35fa51741e3f6910","datavalue":{"value":{"entity-type":"item","numeric-id":4295869,"id":"Q4295869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b27d289fa30161cf035b851c2cec1761ba42b3","datavalue":{"value":{"amount":"+0.7359172701835632","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":"Q833038$362DE45B-2748-4E0C-8356-CBE6D23E5705","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An epistemic logic for becoming informed","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_epistemic_logic_for_becoming_informed"}}}}}