bucephalus.org
Introduction to hyper-digital logic
last update: July 2007
Abstract
This text defines the syntax and semantics of hyper-digital logic. It introduces the subject by showing how it emerges from traditional propositional logic by an attempt to extend it by modal operators.
Status
July 2007, 24 pages