Searching for authors named "Jens Happe" – sorted by Relevance.
1 documents found, showing 1 through 1.
-
Compact Models for Multi-Modal Logics
- …We propose a new representation formalism for the multimodal logic Km , in which labels replace modalities in all formulas and subformulas: Possibility operators are represented by constants and necessity operators by anonymous variables. Our formalism gives rise to a new definition of models wh…
- Add To MetaCart
Showing 1 through 1.
