Logics for complexity classes

Vladimir Naidenko. Logics for complexity classes. Logic Journal of the IGPL, 22(6):1075-1093, 2014. [doi]

@article{Naidenko14,
  title = {Logics for complexity classes},
  author = {Vladimir Naidenko},
  year = {2014},
  doi = {10.1093/jigpal/jzu027},
  url = {http://dx.doi.org/10.1093/jigpal/jzu027},
  researchr = {https://researchr.org/publication/Naidenko14},
  cites = {0},
  citedby = {0},
  journal = {Logic Journal of the IGPL},
  volume = {22},
  number = {6},
  pages = {1075-1093},
}