Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2603.01146 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914361528811520 |
|---|---|
| author | Su, Youan |
| author_facet | Su, Youan |
| contents | Uniform interpolation property (UIP) is a strengthening of Craig interpolation property. It can be understood as the definability of propositional quantifiers. This paper develops the sequent calculi provided in Murai and Sano (2020), combining with the methods studied by B{\'ı}lkov{á} (2007) to show the uniform interpolation for epistemic logic $\mathbf{K}$, $\mathbf{KD}$ and $\mathbf{KT}$ with distributed knowledge. A purely syntactic algorithm is presented to determine a uniform interpolant formula. In the definition of an interpolant formula, not only propositional variables but also agent symbols are taken into consideration. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_01146 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Uniform Agent-interpolation of Distributed Knowledge Su, Youan Logic in Computer Science Uniform interpolation property (UIP) is a strengthening of Craig interpolation property. It can be understood as the definability of propositional quantifiers. This paper develops the sequent calculi provided in Murai and Sano (2020), combining with the methods studied by B{\'ı}lkov{á} (2007) to show the uniform interpolation for epistemic logic $\mathbf{K}$, $\mathbf{KD}$ and $\mathbf{KT}$ with distributed knowledge. A purely syntactic algorithm is presented to determine a uniform interpolant formula. In the definition of an interpolant formula, not only propositional variables but also agent symbols are taken into consideration. |
| title | Uniform Agent-interpolation of Distributed Knowledge |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2603.01146 |