Bundled Fragments of First-Order Modal Logic: (Un)Decidability

Anantha Padmanabha, R. Ramanujam, Yanjing Wang. Bundled Fragments of First-Order Modal Logic: (Un)Decidability. In Sumit Ganguly, Paritosh K. Pandya, editors, 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India. Volume 122 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

@inproceedings{PadmanabhaRW18,
  title = {Bundled Fragments of First-Order Modal Logic: (Un)Decidability},
  author = {Anantha Padmanabha and R. Ramanujam and Yanjing Wang},
  year = {2018},
  doi = {10.4230/LIPIcs.FSTTCS.2018.43},
  url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2018.43},
  researchr = {https://researchr.org/publication/PadmanabhaRW18},
  cites = {0},
  citedby = {0},
  booktitle = {38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India},
  editor = {Sumit Ganguly and Paritosh K. Pandya},
  volume = {122},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-95977-093-4},
}