structure for 'Formal Logic'    |     alphabetical list of themes    |     unexpand these ideas

---

4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic

[logic that adds awareness to the logic of knowledge]

1 idea

15378	Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting]
	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.
	From: Melvin Fitting (Intensional Logic [2007], 3.6.1)
	A reaction: [He cites Fagin and Halpern 1988 for this]