A Completeness Proof for a Logic with an Alternative Necessity Operator - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Stéphane Demri. A Completeness Proof for a Logic with an Alternative Necessity Operator. Studia Logica, 58(1):99-112, 1997.

@article{Demri97,
  title = {A Completeness Proof for a Logic with an Alternative Necessity Operator},
  author = {Stéphane Demri},
  year = {1997},
  tags = {completeness, logic},
  researchr = {https://researchr.org/publication/Demri97},
  cites = {0},
  citedby = {0},
  journal = {Studia Logica},
  volume = {58},
  number = {1},
  pages = {99-112},
}

runs on WebDSL