Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics / / Robert Goldblatt [[electronic resource]]
| Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics / / Robert Goldblatt [[electronic resource]] |
| Autore | Goldblatt Robert |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xiii, 268 pages) : digital, PDF file(s) |
| Disciplina | 511.3 |
| Collana | Lecture notes in logic |
| Soggetto topico |
Modality (Logic)
Variables (Mathematics) Semantics (Philosophy) Logic, Symbolic and mathematical |
| ISBN |
1-139-09842-X
1-139-09910-8 1-139-10178-1 1-139-09978-7 0-511-86235-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction and overview -- Chapter 1. Logics with actualist quantifiers -- Chapter 2. The Barcan formulas -- Chapter 3. The existence predicate -- Chapter 4. Propositional functions and predicate substitution -- Chapter 5. Identity -- Chapter 6. Cover semantics for relevant logic. |
| Altri titoli varianti | Quantifiers, Propositions & Identity |
| Record Nr. | UNINA-9910457518803321 |
Goldblatt Robert
|
||
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics / / Robert Goldblatt [[electronic resource]]
| Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics / / Robert Goldblatt [[electronic resource]] |
| Autore | Goldblatt Robert |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xiii, 268 pages) : digital, PDF file(s) |
| Disciplina | 511.3 |
| Collana | Lecture notes in logic |
| Soggetto topico |
Modality (Logic)
Variables (Mathematics) Semantics (Philosophy) Logic, Symbolic and mathematical |
| ISBN |
1-139-09842-X
1-139-09910-8 1-139-10178-1 1-139-09978-7 0-511-86235-0 |
| Classificazione | MAT018000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction and overview -- Chapter 1. Logics with actualist quantifiers -- Chapter 2. The Barcan formulas -- Chapter 3. The existence predicate -- Chapter 4. Propositional functions and predicate substitution -- Chapter 5. Identity -- Chapter 6. Cover semantics for relevant logic. |
| Altri titoli varianti | Quantifiers, Propositions & Identity |
| Record Nr. | UNINA-9910781962203321 |
|
Goldblatt Robert
|
||
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||