This course is available on the BSc in Accounting and Finance, BSc in Philosophy and Economics, BSc in Philosophy, Logic and Scientific Method, BSc in Philosophy, Politics and Economics and BSc in ...

This course is available on the BSc in Accounting and Finance, BSc in Philosophy and Economics, BSc in Philosophy, Logic and Scientific Method and BSc in Politics and Philosophy. This course is ...

The quantified extension of a canonical propositional intermediate logic is complete with respect to the generalization of Kripke semantics taking into consideration set-valued functors defined on a ...

Instead of a textbook, we will mostly use Halvorson's notes — see "Course notes" below. But it is also recommended that you obtain a copy of Boolos, Burgess, and Jeffrey, Computability and Logic.

The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, being published during 2006, will consist of ...