Otium BookshelfOtium
Caricamento sessione
← Esplora

Catalogo · 9789048147205

Proof theory of modal logic

H. Wansing
ISBN 9789048147205

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

Vedi su Google Bookspowered by Google

Communitas attorno al libro

Porta una citazione, apri una discussione o fai una domanda su questo libro in Communitas.

Accedi per partecipare
Altri libri di H. Wansing
Copertina di Nonclassical logics and information processing
Nonclassical logics and information processing
D. Pearce, H. Wansing
Copertina di Referenz und Realit©Þt
Referenz und Realit©Þt
Adolf Rami, H. Wansing
Copertina di Proof Theory of Modal Logic (Applied Logic Series)
Proof Theory of Modal Logic (Applied Logic Series)
H. Wansing
Copertina di Negation
Negation
H. Wansing
Copertina di Knowledge and belief in philosophy and artificial intelligence
Knowledge and belief in philosophy and artificial intelligence
H. Wansing
Copertina di Essays on non-classical logic
Essays on non-classical logic
H. Wansing
Copertina di Displaying modal logic
Displaying modal logic
H. Wansing
Copertina di What is negation?
What is negation?
Dov M. Gabbay, H. Wansing
Verba volant · scripta manent