Título: On fork arrow logic and its expressive powerAutor: Jorge Petrúcio VianaAno: 2007DOI: 10.1007/s10992-006-9043-xRevista: Journal of Philosophical LogicISSN: 00223611Tags: Arrow LogicExpressive powerFork algebraModal LogicRelation algebraStandard translationHome: [http://www.springerlink.com/content/j8667816p41k2t6v/][doi:10.1007/s10992-006-9043-x]Idioma: Inglês
