Single Idea 15378

[catalogued under 4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic]

Full Idea

Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear.

Gist of Idea

Awareness logic adds the restriction of an awareness function to epistemic logic

Source

Melvin Fitting (Intensional Logic [2007], 3.6.1)

Book Reference

'Stanford Online Encyclopaedia of Philosophy', ed/tr. Stanford University [plato.stanford.edu], p.23


A Reaction

[He cites Fagin and Halpern 1988 for this]