A basic epistemic logic and its algebraic model

Autores

DOI:

https://doi.org/10.22481/intermaths.v4i2.14133

Palavras-chave:

Epistemic logic, Knowledge and belief, Algebraic logic, Algebraic model

Resumo

In this paper we propose an algebraic model for a modal epistemic logic. Although it is known the existence of algebraic models for modal logics, considering that there are so many different modal logics, so it is not usual to give an algebraic model for each such system. The basic epistemic logic used in the paper is bimodal and we can show that the epistemic
algebra introduced in the paper is an adequate model for it. 

Downloads

Não há dados estatísticos.

Metrics

Carregando Métricas ...

Biografia do Autor

Hércules de Araujo Feitosa, UNESP, School of Sciences, Bauru, SP, Brazil

Doutor em Lógica e Filosofia da Ciência pela Universidade Estadual de Campinas - UNICAMP - IFCH (1998). Desde 1988 é professor na UNESP, Faculdade de Ciências, Departamento de Matemática, Câmpus de Bauru. No momento é professor associado (livre docente) e é credenciado no Programa de Pós-Graduação em Filosofia da UNESP - FFC - Marília. Sua experiência acadêmica tem ênfase no ensino de Lógica e Fundamentos da Matemática e suas investigações científicas estão voltadas para lógica, traduções entre lógicas, modelos algébricos, quantificadores e lógicas não clássicas.

Referências

W. A. Carnielli and PIZZI, C. Pizzi, Modalit`a e multimodalit`a. Milano: Franco Angeli, 2001.

A. Chagrov and M. Zakharyachev, Modal logic. Oxford: Clarendon Press, 1997.

B. Chellas, Modal Logic: an introduction. Cambridge: Cambridge University Press, 1980.

J. M. Dunn and G. M. Hardgree, Algebraic methods in philosophical logic. Oxford: Oxford University Press, 2001.

J. Y. Halpern, “Using reasoning about knowledge to analyze distributed systems”. Annual Review of Computer Science, v. 2, pp. 37-68, 1987. https://doi.org/10.1146/annurev.cs.02.060187.000345

J. Y. Halpern and Y. Moses, “A guide to completeness and complexity for modal logics of knowledge and belief”. Artificial intelligence, v. 54, n. 3, pp. 319-379, 1992.

https://doi.org/10.1016/0004-3702(92)90049-4

J. J. C. Meyer and W. Van der Hoek, Epistemic logic for AI and computer science. Cambridge: Cambridge University Press, 2004.

F. Miraglia, Cálculo proposicional: uma interação da álgebra e da lógica. Campinas: UNICAMP/CLE, 1987. (Coleção CLE, v. 1)

C. A. Mortari, Lógicas epistêmicas. In L. H. Dutra(Org.). Nos limites da epistemologia analítica, p. 17-68, 1999. (Rumos da Epistemologia, v. 1).

RASIOWA, H. Rasiowa and R. Sikorski The mathematics of metamathematics. 2. ed. Waszawa: PWN - Polish Scientific Publishers, 1968.

H. Rasiowa An algebraic approach to non-classical logics. Amsterdam: North-Holland, 1974.

S. J. Rosenschein, “Formal theories of knowledge in AI and robotics”. New generation computing, v. 3, n. 4. pp. 345-357, 1985.

Revista de Matemática Aplicada e Interdisciplinar

Downloads

Publicado

2023-12-30

Como Citar

de Araujo Feitosa, H., Matulovic, M., & Golzio, A. C. de J. . (2023). A basic epistemic logic and its algebraic model. Intermaths, 4(2), 28-37. https://doi.org/10.22481/intermaths.v4i2.14133

Edição

v. 4 n. 2 (2023)

Seção

Artigos

Licença

Copyright (c) 2023 INTERMATHS

Creative Commons License
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.

Licença Creative Commons All content of Revista INTERMATHS/Journal INTERMATHS is licensed under a Creative Commons - Atribuição 4.0 Internacional (CC-BY 4.0).