|
Documentos: 
11. (100%)
Belief Revision and Verisimilitude
- Ryan, Mark; Schobbens, Pierre-Yves
The Egli-Milner power-ordering is used to define verisimilitude orderings on theories from preferenc ... (application/pdf) - 21-nov-2008
12. (100%)
Computing Verisimilitude
- Britz, Katarina; Brink, Chris
This paper continues the power ordering approach to verisimilitude. We define a parameterized verisi ... (application/pdf) - 21-nov-2008
13. (100%)
Levi Contractions and AGM Contractions: A Comparison
- Hansson, Sven Ove; Olsson, Erik J.
A representation theorem is obtained for contraction operators that are based on Levi's recent propo ... (application/pdf) - 21-nov-2008
14. (100%)
Constructive Modelings for Theory Change
- Peppas, Pavlos; Williams, Mary-Anne
Alchourrón, Gärdenfors and Makinson have developed and investigated a set of rationality postulates ... (application/pdf) - 21-nov-2008
15. (100%)
The Complexity of Revision
- Antonelli, Gian Aldo
In this paper we show that the Gupta-Belnap systems ${\bf S}^\char93 $ and ${\bf S}^*$ are $\Pi^1_2$ ... (application/pdf) - 21-nov-2008
16. (100%)
The Gupta-Belnap systems ${\rm S}^\#$ and ${\rm S}^*$ are not axiomatisable.
- Kremer, Philip
(application/pdf) - 21-nov-2008
17. (100%)
A variable-free logic for mass terms.
- Purdy, William C.
(application/pdf) - 21-nov-2008
18. (100%)
BCK and BCI logics, condensed detachment and the $2$-property.
- Hindley, J. Roger
(application/pdf) - 21-nov-2008
19. (100%)
Significant parts and identity of artifacts.
- Tzouvaras, Athanassios
(application/pdf) - 21-nov-2008
20. (100%)
Paraconsistency and the $\rm C$-systems of da Costa.
- Urbas, Igor
(application/pdf) - 21-nov-2008 |
|||||
Ciudad Grupo Santander
Avda. de Cantabria, s/n - 28660
Boadilla del Monte
Madrid, España