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 ...
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.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback