Синопсис теории фронтонов.

Abstract

We describe an augmentation o f Intuitonistic propositional Logic by a m odal operator admiting provability interpretation (Box-as-Proof modality). We do not intend to give a system atic survey, but were a short selection o f attractive (algebraic, relational, topological and categorical) features o f the m odalized Heyting Calculus. We discuss also an enrichment o f the H eyting Calculus by temporal m odalities A lw ays and Before, extending the expressive pow er o f the Calculus.