Sfoglia per Autore
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics
2021-01-01 Martini, Simone; Masini, Andrea; Zorzi, Margherita
Natural deduction calculi for classical and intuitionistic S5
2023-01-01 Guerrini, Stefano; Masini, Andrea; Zorzi, Margherita
Cut Elimination for Extended Sequent Calculi
2023-01-01 Martini, Simone; Masini, Andrea; Zorzi, Margherita
A natural deduction calculus for S4.2
In corso di stampa Martini, Simone; Masini, Andrea; Zorzi, Margherita
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics | 1-gen-2021 | Martini, Simone; Masini, Andrea; Zorzi, Margherita | |
Natural deduction calculi for classical and intuitionistic S5 | 1-gen-2023 | Guerrini, Stefano; Masini, Andrea; Zorzi, Margherita | |
Cut Elimination for Extended Sequent Calculi | 1-gen-2023 | Martini, Simone; Masini, Andrea; Zorzi, Margherita | |
A natural deduction calculus for S4.2 | In corso di stampa | Martini, Simone; Masini, Andrea; Zorzi, Margherita |
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