On the decidability of open logic

@article{Zhang2009OnTD,
  title={On the decidability of open logic},
  author={Wei Zhang},
  journal={Science in China Series F: Information Sciences},
  year={2009},
  volume={52},
  pages={1283-1291}
}
Open logic (OL) is a noticeable logic theory dealing with the description of knowledge growth and updating, as well as the evolution of hypothesis. Up to now, however, many problems related to the proof theoretical approach of OL remain to be explored. In this paper, the typical proof theoretical problems for OL are described and the concept of open proof… CONTINUE READING