On discrete temporal logics
by
Irena Atanassova
SWU "N. Rilski" - Bulgaria

When we consider some logic we are interested in three things - syntax, semantics, and axiomatic system. Usually we regard frame-based semantics. In the present paper we are going to consider an algebraic semantics for modal logic. We may see that the algebraic semantics can be more interesting and better-behaved than frame-based. The basic idea is to extend the boolean algebras to boolean algebras with operators BAOs, where the aditional operators handle the modalities. The reasons to algebraize modal logic are: to bring new techniqies to bear on modal problems and to be able to prove an algebraic completeness theorem for modal logic.

Date received: May 19, 2004