Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski, Uni Bremen 2002-2004
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

Modal.Logic_Modal

Description

Instance of class Logic for modal logic.

Documentation

data Modal

Constructors

Modal 

Instances

type MSign = Sign M_FORMULA ModalSign

type ModalMor = Morphism M_FORMULA ModalSign (DefMorExt ModalSign)

type ModalFORMULA = FORMULA M_FORMULA

map_M_FORMULA :: MapSen M_FORMULA ModalSign (DefMorExt ModalSign)

simModal :: Sign M_FORMULA ModalSign -> M_FORMULA -> M_FORMULA

rmTypesExt :: a -> b -> b