top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Kripke’s worlds : an introduction to modal logics via tableaux / Olivier Gasquet ... [et al.]
Kripke’s worlds : an introduction to modal logics via tableaux / Olivier Gasquet ... [et al.]
Pubbl/distr/stampa Berlin, : Springer, 2014
Descrizione fisica XV, 198 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
Soggetto non controllato Epistemic logics
Modal logics
Tableau method
Temporal logics
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0104264
Berlin, : Springer, 2014
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Kripke’s worlds : an introduction to modal logics via tableaux / Olivier Gasquet ... [et al.]
Kripke’s worlds : an introduction to modal logics via tableaux / Olivier Gasquet ... [et al.]
Pubbl/distr/stampa Berlin, : Springer, 2014
Descrizione fisica XV, 198 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
Soggetto non controllato Epistemic logics
Modal logics
Tableau method
Temporal logics
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00104264
Berlin, : Springer, 2014
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi / Andrzej Indrzejczak
Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi / Andrzej Indrzejczak
Autore Indrzejczak, Andrzej
Pubbl/distr/stampa Cham, : Birkhäuser, : Springer, 2021
Descrizione fisica xvi, 345 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03B70 - Logic in computer science [MSC 2020]
Soggetto non controllato Cut-Elimination
Decidability
Hypersequent calculus
Interpolation
Modal logics
Non-classical logics
Propositional logics
Sequent Calculus
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0274475
Indrzejczak, Andrzej  
Cham, : Birkhäuser, : Springer, 2021
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi / Andrzej Indrzejczak
Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi / Andrzej Indrzejczak
Autore Indrzejczak, Andrzej
Pubbl/distr/stampa Cham, : Birkhäuser, : Springer, 2021
Descrizione fisica xvi, 345 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03B70 - Logic in computer science [MSC 2020]
Soggetto non controllato Cut-Elimination
Decidability
Hypersequent calculus
Interpolation
Modal logics
Non-classical logics
Propositional logics
Sequent Calculus
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00274475
Indrzejczak, Andrzej  
Cham, : Birkhäuser, : Springer, 2021
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui