| Revue: | Computación y sistemas |
| Base de datos: | |
| Número de sistema: | 000560682 |
| ISSN: | 1405-5546 |
| Autores: | Murai, Ryo1 Sano, Katsuhiko2 |
| Instituciones: | 1Hokkaido University, Hokkaidō. Japón 2Hokkaido University, Faculty of Humanities and Human Sciences, Hokkaidō. Japón |
| Año: | 2022 |
| Periodo: | Abr-Jun |
| Volumen: | 26 |
| Número: | 2 |
| Paginación: | 823-834 |
| País: | México |
| Idioma: | Inglés |
| Resumen en inglés | We develop intuitionistic epistemic logics with distributed knowledge, which is more general than a logic proposed by (Jäger & Marti 2016) in that a distributed knowledge operator is parameterized by a group of agents. Specifically, we present Hilbert systems of intuitionistic K, KT, KD, K4, K4D, and S4 with distributed knowledge. The semantic completeness of the logics with regard to suitable Kripke frames is shown by modifying the standard argument of the semantic completeness of classical distributed knowledge logics via the concept of pseudo-model. We also present cut-free sequent calculi for the logics, based on which we establish Craig interpolation theorem and decidability. |
| Keyword: | Intuitionistic logic, Epistemic logic, Distributed knowledge |
| Texte intégral: | Texto completo (Ver HTML) Texto completo (Ver PDF) |
