A basic epistemic logic and its algebraic model

Authors

DOI:

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

Keywords:

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

Abstract

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

Download data is not yet available.

Metrics

Metrics Loading ...

Author Biography

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

PhD in Logic and Philosophy of Science from the State University of Campinas, UNICAMP - IFCH (1998). Since 1988, he has been a professor at UNESP, Faculty of Sciences, Department of Mathematics, Bauru Campus. He is currently an associate professor and is accredited in the Postgraduate Program in Philosophy at UNESP - FFC - Marília. His academic experience focuses on the teaching of logic and the foundations of mathematics, and his scientific research focuses on logic, translations between logics, algebraic models, quantifiers, and non-classical logics.

References

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

Published

2023-12-30

How to Cite

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

Issue

Vol. 4 No. 2 (2023)

Section

Artigos

License

Copyright (c) 2023 INTERMATHS

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

  • Responsibility: The scientific content and the opinions expressed in the manuscript are the sole responsibility of the author(s).
  • Copyrights: INTERMATHS. 
  • All content of Revista INTERMATHS/INTERMATHS journal is licensed under a Creative Commons - Atribuição 4.0 Internacional

Licença Creative Commons