97 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- University of AmsterdamNL17 papers
- Amsterdam University of Applied SciencesNL8 papers
- University of CambridgeGB3 papers
- University of MichiganUS3 papers
- Amsterdam NeuroscienceNL2 papers
- Amsterdam University Medical CentersNL2 papers
- CEA Paris-SaclayFR2 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR2 papers
- Institute for Theoretical Physics AmsterdamNL2 papers
- Leiden UniversityNL2 papers
- National Institute for AstrophysicsIT2 papers
- Public Health Service of AmsterdamNL2 papers
Showing 2026 · math.LOShow all
2 papers · 2 filters
math.LO2026
Possibly Relevant Translations
Søren Brinck Knudstorp
We develop translations from relevant logics into normal modal logics, and use them to clarify structural connections between relevant and modal logic, obtain a few corollary resul…
math.LO2026
Uniform Local Tabularity in Intuitionistic Logic
Rodrigo Nicolau Almeida
By contrast with S4, the analysis of local tabularity above IPC has provided a difficult challenge. This paper studies a strengthening of local tabularity - uniform local tabularit…