On Fork Arrow Logic and its Expressive Power

Paulo A. S. Veloso, Renata P. de Freitas, Jorge PetrĂșcio Viana, Mario R. F. Benevides, Sheila R. M. Veloso. On Fork Arrow Logic and its Expressive Power. J. Philosophical Logic, 36(5):489-509, 2007. [doi]

@article{VelosoFVBV07,
  title = {On Fork Arrow Logic and its Expressive Power},
  author = {Paulo A. S. Veloso and Renata P. de Freitas and Jorge PetrĂșcio Viana and Mario R. F. Benevides and Sheila R. M. Veloso},
  year = {2007},
  doi = {10.1007/s10992-006-9043-x},
  url = {http://dx.doi.org/10.1007/s10992-006-9043-x},
  researchr = {https://researchr.org/publication/VelosoFVBV07},
  cites = {0},
  citedby = {0},
  journal = {J. Philosophical Logic},
  volume = {36},
  number = {5},
  pages = {489-509},
}