책 이미지
eBook 미리보기
책 정보
· 제목 : First-Order Modal Logic (Paperback)
· 분류 : 외국도서 > 과학/수학/생태 > 과학 > 과학철학/과학사회
· ISBN : 9780792353355
· 쪽수 : 292쪽
· 출판일 : 1999-08-31
· 분류 : 외국도서 > 과학/수학/생태 > 과학 > 과학철학/과학사회
· ISBN : 9780792353355
· 쪽수 : 292쪽
· 출판일 : 1999-08-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.
