Searching for authors named "Jens Happe" – sorted by Relevance.
-
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

