Intuitionistic modal logics: epistemic reasoning with distributed knowledge
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914040128733184 |
|---|---|
| author | Balbiani, Philippe |
| author_facet | Balbiani, Philippe |
| contents | In this article, we add a diamond to the parametrized box-based propositional language of intuitionistic doxastic logic and intuitionistic epistemic logic introduced by Artemov and Protopopescu. The main results of this article are the proofs of completeness with respect to their appropriate relational semantics of the resulting intuitionistic doxastic logic and intuitionistic epistemic logic with distributed knowledge. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_13038 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Intuitionistic modal logics: epistemic reasoning with distributed knowledge Balbiani, Philippe Logic in Computer Science In this article, we add a diamond to the parametrized box-based propositional language of intuitionistic doxastic logic and intuitionistic epistemic logic introduced by Artemov and Protopopescu. The main results of this article are the proofs of completeness with respect to their appropriate relational semantics of the resulting intuitionistic doxastic logic and intuitionistic epistemic logic with distributed knowledge. |
| title | Intuitionistic modal logics: epistemic reasoning with distributed knowledge |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2509.13038 |