Agi KuruczDepartment of Informatics King's College London Strand London WC2R 2LS Room S1.17 Tel: +44-20-7848 2900 Fax: +44-20-7848 2851 Email: agi.kurucz AT kcl.ac.uk |
Agi KuruczDepartment of Informatics King's College London Strand London WC2R 2LS Room S1.17 Tel: +44-20-7848 2900 Fax: +44-20-7848 2851 Email: agi.kurucz AT kcl.ac.uk |
Axiomatisation, expressiveness and decision problems
Modal and temporal logics
Algebraic and first-order logic
Universal algebra and model theory
Metamathematics of arithmetic, foundations of mathematics