Terminating Tableaux for Hybrid Logic with Eventualities

Mark Kaminski, Gert Smolka. Terminating Tableaux for Hybrid Logic with Eventualities. In Jürgen Giesl, Reiner Hähnle, editors, Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh,UK, July 16-19, 2010. Proceedings. Volume 6173 of Lecture Notes in Computer Science, pages 240-254, Springer, 2010. [doi]

@inproceedings{KaminskiS10,
  title = {Terminating Tableaux for Hybrid Logic with Eventualities},
  author = {Mark Kaminski and Gert Smolka},
  year = {2010},
  doi = {10.1007/978-3-642-14203-1_21},
  url = {http://dx.doi.org/10.1007/978-3-642-14203-1_21},
  tags = {logic},
  researchr = {https://researchr.org/publication/KaminskiS10},
  cites = {0},
  citedby = {0},
  pages = {240-254},
  booktitle = {Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh,UK, July 16-19, 2010. Proceedings},
  editor = {Jürgen Giesl and Reiner Hähnle},
  volume = {6173},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-14202-4},
}