책 이미지
eBook 미리보기
책 정보
· 제목 : First-Order Modal Logic (Hardcover)
· 분류 : 외국도서 > 인문/사회 > 철학 > 논리
· ISBN : 9780792353348
· 쪽수 : 292쪽
· 출판일 : 1998-10-31
· 분류 : 외국도서 > 인문/사회 > 철학 > 논리
· ISBN : 9780792353348
· 쪽수 : 292쪽
· 출판일 : 1998-10-31
목차
Preface.- 1. Propositional Modal Logic.- 2. Tableau Proof Systems.- 3. Axiom Systems.- 4. Quantified Modal Logic.- 5. First-Order Tableaus.- 6. First-Order Axiom Systems.- 7. Equality.- 8. Existence and Actualist Quantification.- 9. Terms and Predicate Abstraction.- 10. Abstraction Continued.- 11. Designation.- 12. Definite Descriptions.- References.- Index.
