Natural deduction, hybrid systems and modal logics
Auteur :
Indrzejczak, Andrzej
Éditeur :
Springer
ISBN :
9789048187843
Date de publication :
11 juin 2010
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Nederlands
The assumed reader should have some ba- ground in logic (an elementary course covering classical propositional and ?rst-order logic with basics of set theory is enough) but not necessarily in modal logic.