Justification Logic
-10%
portes grátis
Justification Logic
Reasoning with Reasons
Artemov, Sergei; Fitting, Melvin
Cambridge University Press
05/2019
268
Dura
Inglês
9781108424912
15 a 20 dias
500
Descrição não disponível.
Introduction: 1. Why justification logic?; 2. The basics of justification logic; 3. The ontology of justifcations; 4. Fitting models; 5. Sequents and tableaus; 6. Realization - how it began; 7. Realization - generalized; 8. The range of realization; 9. Arithmetical completeness and BHK semantics; 10. Quantifiers in justification logic; 11. Going past modal logic.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Introduction: 1. Why justification logic?; 2. The basics of justification logic; 3. The ontology of justifcations; 4. Fitting models; 5. Sequents and tableaus; 6. Realization - how it began; 7. Realization - generalized; 8. The range of realization; 9. Arithmetical completeness and BHK semantics; 10. Quantifiers in justification logic; 11. Going past modal logic.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
