On the expressive power of inquisitive epistemic logic
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916609282539520 |
|---|---|
| author | Ciardelli, Ivano Otto, Martin |
| author_facet | Ciardelli, Ivano Otto, Martin |
| contents | Inquisitive modal logic, InqML, in its epistemic incarnation, extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. We use the natural notion of bisimulation equivalence in the setting of InqML, as introduced in [Ciardelli/Otto: JSL 2021], to characterise the expressiveness of InqML as the bisimulation invariant fragment of first-order logic over natural classes of two-sorted first-order structures that arise as relational encodings of inquisitive epistemic (S5-like) models. The non-elementary nature of these classes crucially requires non-classical model-theoretic methods for the analysis of first-order expressiveness, irrespective of whether we aim for characterisations in the sense of classical or of finite model theory. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2312_14573 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | On the expressive power of inquisitive epistemic logic Ciardelli, Ivano Otto, Martin Logic Logic in Computer Science 03B45, 03B42, 03C07, 03C80, 03C98, 03B70 F.4.1 Inquisitive modal logic, InqML, in its epistemic incarnation, extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. We use the natural notion of bisimulation equivalence in the setting of InqML, as introduced in [Ciardelli/Otto: JSL 2021], to characterise the expressiveness of InqML as the bisimulation invariant fragment of first-order logic over natural classes of two-sorted first-order structures that arise as relational encodings of inquisitive epistemic (S5-like) models. The non-elementary nature of these classes crucially requires non-classical model-theoretic methods for the analysis of first-order expressiveness, irrespective of whether we aim for characterisations in the sense of classical or of finite model theory. |
| title | On the expressive power of inquisitive epistemic logic |
| topic | Logic Logic in Computer Science 03B45, 03B42, 03C07, 03C80, 03C98, 03B70 F.4.1 |
| url | https://arxiv.org/abs/2312.14573 |