Modal algebra

In algebra and logic, a modal algebra is a structure such that * is a Boolean algebra, * is a unary operation on A satisfying and for all x, y in A…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2014

1; L 0 can have the same frames; then L1 L2 = L 0 L2 for any L2 | which looks strange. Another peculiarity is logical non…

Review

2013

Review

2013

A. Monteiro, in 1978, defined the algebras he named tetravalent modal algebras, that will be called {\em $4-$valued modal…

2011

We introduce modal de Vries algebras and develop a duality between the category of modal de Vries algebras and the category of…

1999

The duality between general frames and modal algebras allows to transfer a problem about the relational (Kripke) semantics into…

1999

We consider the families L of propositional superintuitionistic logics (s.i.l.) andNE(K) of normal modal logics (n.m.l.). It is…

1998

C. I. Lewis repeatedly exempts MacColl from criticisms of his predecessors in their accounts of implication. They had all taken a…

1997

1995

In this paper the structure of pretemporal algebra is used to study some aspects of temporal algebras and modal algebras. The…

1990

1984

We prove that a finite tetravalent modal algebra is determined, up to an isomorphism, by its determinant system, applying the…