Logics of programs

Keyword: Logics of programs

Article in Journal | Posted 21/01/2015
Maarten, De Rijke (1995). The Logic of Peirce Algebras
Peirce algebras combine sets, relations and various operations linking the two in a unifying setting. This paper offers a modal perspective on Peirce algebras. Using modal logic a characterization of...