Articoli correlati a Displaying Modal Logic

Wansing, Heinrich Displaying Modal Logic ISBN 13: 9789401712811

Displaying Modal Logic - Brossura

Wansing, Heinrich

 
9789401712811: Displaying Modal Logic
Brossura
ISBN 10: 9401712816 ISBN 13: 9789401712811
Casa editrice: Springer, 2013

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Preface. 1. Introduction. 2. Sequents Generalized. 3. Display Logic. 4. Properly Displayable Logics, Displayable Logics and Strong Cut-Elimination. 5. A Proof-Theoretic Proof of Functional Completeness for Many Modal and Tense Logics. 6. Modal Tableaux Based on Residuation. 7. Strong Cut-Elimination and Labelled Modal Tableaux. 8. Tarskian Structured Consequence Relations and Functional Completeness. 9. Constructive Negation and the Modal Logic of Consistency. 10. Displaying as Temporalizing. 11. Translation of Hypersequents into Display Sequents. 12. Predicate Logics on Display. 13. Appendix. Bibliography. Index.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2013
Lingua
Inglese
ISBN 10 
9401712816
ISBN 13 
9789401712811
Rilegatura
Paperback
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9780792352051: Displaying Modal Logic: 3

Edizione in evidenza

ISBN 10:  079235205X ISBN 13:  9780792352051
Casa editrice: Kluwer Academic Pub, 1998
Rilegato