Sfoglia per Autore
Alternative Axiomatization for Logics of Agency in a G3 Calculus
2021-01-01 Negri, Sara; Pavlović, Edi
Geometric rules in infinitary logic
2021-01-01 Negri, Sara
Investigations into the Predicate Calculus
2022-01-01 Negri, Sara
Glivenko sequent classes and constructive cut elimination in geometric logics
2022-01-01 Negri, Sara; Orlandelli, Eugenio; Fellin, Giulio
The Godel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions
2023-01-01 Tesi, M; Negri, S
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Alternative Axiomatization for Logics of Agency in a G3 Calculus | 1-gen-2021 | Negri, Sara; Pavlović, Edi | |
Geometric rules in infinitary logic | 1-gen-2021 | Negri, Sara | |
Investigations into the Predicate Calculus | 1-gen-2022 | Negri, Sara | |
Glivenko sequent classes and constructive cut elimination in geometric logics | 1-gen-2022 | Negri, Sara; Orlandelli, Eugenio; Fellin, Giulio | |
The Godel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions | 1-gen-2023 | Tesi, M; Negri, S |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile