|
|||||
|
|
Non-circular proofs and proof realization in modal logic |
|
| Institution: | Department of Philosophy, National Chung-Cheng University, No.168, Sec. 1, University Rd., Min-Hsiung Township, Chia-yi County 621, Taiwan |
| Abstract: | |
| Keywords: | Justification logic Timed modal epistemic logic Modal logic Realization theorem Hilbert-style proofs |
| 本文献已被 ScienceDirect 等数据库收录！ | |