A basic epistemic logic and its algebraic model
Loading...
Date
Advisor
Coadvisor
Graduate program
Undergraduate course
Journal Title
Journal ISSN
Volume Title
Publisher
Universidade Estadual do Sudoeste da Bahia/Edicoes UESB
Type
Article
Access right
Acesso aberto
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.
