| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
SMCDEL.Translations.Convert
Description
This module provides conversion from S5 models and structures to their more general K equivalents.
Documentation
class Convertable a b where Source #
Instances
| Convertable PointedModelS5 PointedModel Source # | Every S5 Kripke model is also a general Kripke model. This replaces each partition \(\sim_i\) with a relation \(R_i\). |
Defined in SMCDEL.Translations.Convert Methods convert :: PointedModelS5 -> PointedModel Source # | |
| Convertable KnowScene BelScene Source # | Every knowledge structure is also a belief structure. We replace each \(O_i\) with \(\Omega_i := \bigwedge_{p \in O_i} (p \leftrightarrow p')\). |