Statistics
Publications
5
Citations
98
H-Index
5
Active since
2004
Affiliations
Petrúcio Viana is an author at Universidade Federal Fluminense specializing in logic, axiom systems, and formal methods.
Publications per year
2004–2020
5
5
Hybrid logics with Sahlqvist axioms
Balder ten Cate, M. Marx, Petrúcio Viana · Logic Journal of IGPL · 2005 · 31 citations
Humanities, Mathematics, Philosophy +15
On admissible orders over closed subintervals of [0,1]
Fagner Santana, Benjamín Bedregal, Petrúcio Viana et al. · Fuzzy Sets and Systems · 2020 · 29 citations · Full text
Renata de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso et al. · Information and Computation · 2009 · 11 citations
Sahlqvist theory for hybrid logic
Balder ten Cate, M. Marx, Petrúcio Viana · 2004 · 10 citations
1–5 of 5