An epistemic logic for becoming informed (Q833038)

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.