A Labelled Sequent Calculus for Half-order Modal Logic - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Romas Alonderis, Jurate Sakalauskaite. A Labelled Sequent Calculus for Half-order Modal Logic. FLAP, 5(1):121-164, 2018. [doi]

@article{AlonderisS18,
  title = {A Labelled Sequent Calculus for Half-order Modal Logic},
  author = {Romas Alonderis and Jurate Sakalauskaite},
  year = {2018},
  url = {http://collegepublications.co.uk/ifcolog/?00021},
  researchr = {https://researchr.org/publication/AlonderisS18},
  cites = {0},
  citedby = {0},
  journal = {FLAP},
  volume = {5},
  number = {1},
  pages = {121-164},
}

runs on WebDSL