Sökt på: Sökresultat
totalt 4 träffar
Types, Tableaus, and Gödel’s God
Gödel's modal ontological argument is the centrepiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it …
Proof Methods for Modal and Intuitionistic Logics
"Necessity is the mother of invention. " Part I: What is in this book - details. There are several different types of formal proof procedures that logicians have invented. The ones …
First-Order Modal Logic
Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. …
First-Order Modal Logic
This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star …