Peirce algebras combine sets, relations and various operations linking the two in a unifying setting.This note offers a modal perspective on Peirce algebras.It uses modal logic to characterize the full Peirce algebras.

General (acm F.3.0), Specifying and Verifying and Reasoning about Programs (acm F.3.1), Knowledge Representation Formalisms and Methods (acm I.2.4)
Modal logic (including the logic of norms) (msc 03B45), Cylindric and polyadic algebras; relation algebras (msc 03G15), Other algebras related to logic (msc 03G25), Applications of universal algebra in computer science (msc 08A70)
CWI
Department of Computer Science [CS]

de Rijke, M. (1995). A modal characterization of Peirce algebras. Department of Computer Science [CS]. CWI.