Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | https://arxiv.org/abs/2511.10966 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866914512067624960 |
|---|---|
| author | Tanaka, Yoshihito |
| author_facet | Tanaka, Yoshihito |
| contents | This paper investigates neighborhood and algebraic models for predicate modal logics with $ω$-rules, including non-normal cases. We establish sufficient conditions under which such logics have neighborhood models with constant domains and satisfy the completeness theorem with respect to neighborhood frames with constant domains. Related results for normal modal logics with $ω$-rules were obtained by Tanaka, while similar results for non-normal modal logics without $ω$-rules were presented by Arló-Costa and Pacuit and by Tanaka. The results presented here extend these works. As applications, we prove that a predicate extension of GL is sound and complete with respect to a class of neighborhood frames with constant domains, and that a predicate common knowledge logic is Kripke incomplete but neighborhood complete. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_10966 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Neighborhood and algebraic models for predicate modal logics with $ω$-rules Tanaka, Yoshihito Logic 03B45 (Primary) 06E25 (Secondary) This paper investigates neighborhood and algebraic models for predicate modal logics with $ω$-rules, including non-normal cases. We establish sufficient conditions under which such logics have neighborhood models with constant domains and satisfy the completeness theorem with respect to neighborhood frames with constant domains. Related results for normal modal logics with $ω$-rules were obtained by Tanaka, while similar results for non-normal modal logics without $ω$-rules were presented by Arló-Costa and Pacuit and by Tanaka. The results presented here extend these works. As applications, we prove that a predicate extension of GL is sound and complete with respect to a class of neighborhood frames with constant domains, and that a predicate common knowledge logic is Kripke incomplete but neighborhood complete. |
| title | Neighborhood and algebraic models for predicate modal logics with $ω$-rules |
| topic | Logic 03B45 (Primary) 06E25 (Secondary) |
| url | https://arxiv.org/abs/2511.10966 |