@inproceedings{DixonF00,
  title = {Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge},
  author = {Clare Dixon and Michael Fisher},
  year = {2000},
  url = {http://www.computer.org/proceedings/time/0756/07560069abs.htm},
  tags = {rule-based, modal logic, logic},
  researchr = {https://researchr.org/publication/DixonF00},
  cites = {0},
  citedby = {0},
  pages = {69-78},
  booktitle = {TIME},
}