Searching for "Logics with an existential modality." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Modal Logic In Two Gestalts
- … logic' B of symmetric frames, which is also the minimal logic of the existential modality $y (Rxy & Ryx…
- Cited by 6 (2 self) – Add To MetaCart
-
Advances in Modal Logic, Volume 3
- … the presence of the existential modality and nominals, hybrid logics are very well suited to provide a modal…
- Add To MetaCart
-
Guards, Bounds, and Generalized Semantics
- …, t � |= . Thus, first-order logic is a poly-modal logic with an existential modality � x. This gives us a broad…
- Add To MetaCart
-
Description and/or Hybrid Logics
- … logics with the existential modality [24], that both H(@,@✸,E) and HN(@,E) are EXPTIME…
- Add To MetaCart
Showing 1 through 4.
