عنوان
پدید آورنده
موضوع
رده
BC 199 .M6 G5 2000
BC
199
.
M6
G5
2000
کتابخانه
محل استقرار
Girle, Rod.
Modal logics and philosophy
Montreal ; Ithaca
McGill-Queen's University Press
2000c
891 p. :ill.
sedulcnI lacihpargoilbib secnerefer dna xedni.
doR elriG
Machine generated contents note: 1 Argument and modality -- Part 1 Formal systems -- 2 A simple modal logic -- 3 The normal modal logics -- 4 Modal predicate logics -- 5 The non-normal modal logics -- 6 Natural deduction and axiomatics -- Part 2 Applications -- 7 Alethic modality -- 8 Temporal logic -- 9 Dynamic logic -- 01 Epistemic logic -- 11 Deontic logic -- 21 Synthesis.
BC
199
.
M6
G5
2000
TI
۱۳۸۵/۸/۱۸
