Reasoning with Global Assumptions in Arithmetic Modal Logics (bibtex)

by Clemens Kupke, Dirk Pattinson and Lutz Schröder

Reference:

Clemens Kupke, Dirk Pattinson and Lutz Schröder: Reasoning with Global Assumptions in Arithmetic Modal Logics, In Proc. 20th International Symposium on Fundamentals of Computation Theory, FCT 2015, LNCS, vol. 9210, pp. 367–380, Springer, 2015.

Bibtex Entry:

@string{lncs="LNCS"}
@string{springer="Springer"}
@inproceedings{KupkeEA15,
  title = {Reasoning with Global Assumptions in Arithmetic Modal Logics},
  author = {Clemens Kupke and Dirk Pattinson and Lutz Schr\"oder},
  booktitle = {Proc. 20th International Symposium on Fundamentals of Computation Theory, FCT 2015},
  series = {LNCS},
  publisher = {Springer},
  pages     = {367--380},
  volume    = {9210},
  year = {2015},
  url = {http://www8.cs.fau.de/ext/papers/arithm-ml-gc.pdf},
}