Voltar aos Detalhes do Artigo
A basic epistemic logic and its algebraic model