Elio La Rosa

According to our database¹, Elio La Rosa authored at least 4 papers between 2021 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Patches, Patchworks, and Epsilon Terms: A Neo-Carnapian Account of Theoretical Terms in Science.

[BibT_eX]

[DOI]

J. Philos. Log., December, 2024

2022

Modular non-deterministic semantics for T, TB, S4, S5 and more.

[BibT_eX]

[DOI]

J. Log. Comput., 2022

Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach.

[BibT_eX]

[DOI]

J. Philos. Log., 2022

2021

(I can't get no) antisatisfaction.

[BibT_eX]

[DOI]

Synth., 2021