Abstract

It is well known that Boolean logic circuits are functionally equivalent to propositional logic. This thesis develops an extension of Boolean logic circuits that are functionally equivalent to modal logic with Kripke semantics. We call these circuits modal circuits. We ﬁrst deﬁne how modal circuits work with a series of
... read more