Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness

Thomas Ågotnes, Natasha Alechina. Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. In Dov Samet, editor, Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007. pages 6-14, 2007. [doi]

@inproceedings{AgotnesA07,
  title = {Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness},
  author = {Thomas Ågotnes and Natasha Alechina},
  year = {2007},
  doi = {10.1145/1324249.1324255},
  url = {http://doi.acm.org/10.1145/1324249.1324255},
  tags = {context-aware, logic},
  researchr = {https://researchr.org/publication/AgotnesA07},
  cites = {0},
  citedby = {0},
  pages = {6-14},
  booktitle = {Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007},
  editor = {Dov Samet},
}