Skip To Main Content
Nicola Oliveti on Muck Rack

Nicola Oliveti

As seen in: arXiv
Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile
Back to Nicola Oliveti’s profile

Articles by Nicola Oliveti

Dyadic obligations: proofs and countermodels via hypersequents

|
By Xavier Parent, Nicola Oliveti
| arXiv
arXiv:2406.09088 (cs) View PDF Subjects: Logic in Computer Science (cs.LO) Cite as: arXiv:2406.09088 [cs.LO] (or arXiv:2406.09088v1 [cs.LO] for this version) Related DOI: https://doi.org/10.1007/978-3-031-21203-1_4 Submission history From: Xavier Parent Dr. [ view email] [v1] Thu, 13 Jun 2024 13:13:29 UTC (39 KB) Bibliographic Tools Bibliographic Explorer Toggle Bibliographic Explorer () Litmaps Toggle Litmaps (What is Litmaps?) scite.ai Toggle scite Smart Citations (What are Smart...
Open in Who Shared View Duplicates (265) Issue with article?
Show More