Tableau-based translation from first-order logic to modal logic - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Tin Perkov, Luka Mikec. Tableau-based translation from first-order logic to modal logic. Reports on Mathematical Logic, 56:57-74, 2021. [doi]

@article{PerkovM21,
  title = {Tableau-based translation from first-order logic to modal logic},
  author = {Tin Perkov and Luka Mikec},
  year = {2021},
  url = {https://rml.tcs.uj.edu.pl/rml-56/03-Perkov.pdf},
  researchr = {https://researchr.org/publication/PerkovM21},
  cites = {0},
  citedby = {0},
  journal = {Reports on Mathematical Logic},
  volume = {56},
  pages = {57-74},
}

runs on WebDSL