Built with and by Teycir Ben Soltane•
How to Use•FAQ•GitHub•arXiv.org•
Share:
ArXivCSExplorer
☆☆Bookmarks🏆RSSHow to UseFAQ
Home/Authors/Rafael Ongaratto

Rafael Ongaratto

1 indexed paper

Recent (6 mo)
1
With code
0
Influential cites
0
Benchmarked
0

Publications per year

1
26

Top categories

Logic×1Multiagent×1

Frequent co-authors

Hans van Ditmarsch1×

Research Timeline

2026
The Dynamic Turn in Paraconsistency

This paper introduces dynamic epistemic paraconsistent logics AMLFI1, PALFI1, and UMLFI1, extending the epistemic paraconsistent logics KLFI1, KB4LFI1, and S5LFI1. It proves soundness and completeness for all logics.

Highlighted terms show continued research focus across papers

Papers

cs.LOcs.MATheoreticalRecentJul 22, 2026

The Dynamic Turn in Paraconsistency

Rafael Ongaratto, Hans van Ditmarsch

This paper introduces dynamic epistemic paraconsistent logics AMLFI1, PALFI1, and UMLFI1, extending the epistemic paraconsistent logics KLFI1, KB4LFI1, and S5LFI1. It proves soundness and completeness…

View →