|
|||||
|
|
The undecidability of propositional adaptive logic |
|
| Authors: | Leon Horsten Philip Welch |
| Affiliation: | (1) University of Leuven, Leuven, Brabant, 3000, Belgium;(2) Department of Philosophy, University of Bristol, Bristol, England, UK;(3) School of Mathematics, University of Bristol, Bristol, BS8 1TW, England, UK |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |