An epistemic logic for becoming informed (Q833038)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An epistemic logic for becoming informed |
scientific article |
Statements
An epistemic logic for becoming informed (English)
0 references
11 August 2009
0 references
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.
0 references
logic of information
0 references
epistemic logic
0 references
modal logic
0 references
logic of justification
0 references