Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
First Order Modal Logic This text offers a treatment of first-order modal logic. It covers quantification itself, including: the difference between actualist and possibilist quantif... »