@inproceedings{Kavvos2017b,
  title = "{Dual-Context Calculi for Modal Logic}",
  author = "Kavvos, G. A.",
  year = "2017",
  booktitle = "Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)",
  url = "http://arxiv.org/abs/1602.04860",
}
@inproceedings{Kavvos2017a,
  title = "{On the Semantics of Intensionality}",
  author = "Kavvos, G. A.",
  year = "2017",
  booktitle = "Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)",
  url = "http://arxiv.org/abs/1602.01365",
}
@article{Kavvos2016a,
  title = "{Kleene's Two Kinds of Recursion}",
  author = "Kavvos, G. A.",
  year = "2016",
  journal = "CoRR",
  url = "http://arxiv.org/abs/1602.06220",
}
@article{Kavvos2016,
  title = "{The Many Worlds of Modal {\lambda}-calculi: I. Curry-Howard for Necessity, Possibility and Time}",
  author = "Kavvos, G. A.",
  year = "2016",
  month = "may",
  url = "http://arxiv.org/abs/1605.08106",
}