Cut-Free Calculi and Relational Semantics for Temporal STIT Logics (bibtex)
by Kees van Berkel, Tim Lyon
Reference:
Cut-Free Calculi and Relational Semantics for Temporal STIT LogicsKees van Berkel, Tim LyonLogics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, pages 803–819, 2019.
Bibtex Entry:
@inproceedings{DBLP:conf/jelia/BerkelL19,
  author    = {Kees van Berkel and
               Tim Lyon},
  title     = {Cut-Free Calculi and Relational Semantics for Temporal {STIT} Logics},
  booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019, Rende, Italy, May 7-11, 2019, Proceedings},
  pages     = {803--819},
  year      = {2019},
  crossref  = {DBLP:conf/jelia/2019},
  url       = {https://link.springer.com/chapter/10.1007/978-3-030-19570-0_52},
  doi       = {10.1007/978-3-030-19570-0\_52},
  timestamp = {Fri, 31 May 2019 09:51:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/BerkelL19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser