Scholarlink

<p>Taking an intuitionistic stance and regarding proof theory as methodologically basic for semantics and logic, we develop, building on previous work (J. Log. Comput. 31(3): 704-770, 2021; Bull. Symb. Log. 32(1): 136-196, 2026), a proof-theoretic framework for the study of the inferential interaction between counterfactuals and belief/knowledge. Relying on the technical results obtained for this framework (preservation, normalization, the subexpression property), we give a proof-theoretic semantics for elementary constructions which combine (counter)factuals, belief, knowledge, disbelief, and ignorance.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Proof-Theoretic Considerations on the Structure of Reasoning with Counterfactuals and Knowledge

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2026年7月21日

查看全文
  • Bartosz Więckowski

摘要

Taking an intuitionistic stance and regarding proof theory as methodologically basic for semantics and logic, we develop, building on previous work (J. Log. Comput. 31(3): 704-770, 2021; Bull. Symb. Log. 32(1): 136-196, 2026), a proof-theoretic framework for the study of the inferential interaction between counterfactuals and belief/knowledge. Relying on the technical results obtained for this framework (preservation, normalization, the subexpression property), we give a proof-theoretic semantics for elementary constructions which combine (counter)factuals, belief, knowledge, disbelief, and ignorance.