Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5 - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Linh Anh Nguyen. Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5. Studia Logica, 69(1):41-57, 2001.

@article{Nguyen01:7,
  title = {Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5},
  author = {Linh Anh Nguyen},
  year = {2001},
  tags = {modal logic, logic},
  researchr = {https://researchr.org/publication/Nguyen01%3A7},
  cites = {0},
  citedby = {0},
  journal = {Studia Logica},
  volume = {69},
  number = {1},
  pages = {41-57},
}

runs on WebDSL