![]() |
![]() |
Area della Ricerca di Padova
|
Item type | Location | Call Number | Copy | Status | Date Due |
---|---|---|---|---|---|
Books | Istituto di Ingegneria Biomedica | BC199.M6P48 (Browse Shelf) | 1 | Available |
Contents. Meaning relations, possible objects, and possible worlds. Existential presuppositions and uniqueness presuppositions. Some completeness results for modal predicate calculi. Truth-value semantics for the theory of types. Probability and non standard logics. Logic and truth value gaps. Advice on modal logic.
There are no comments for this item.