Searching for "Variants of First-Order Modal Logics." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Variants of First-Order Modal Logics
- …Variants of First-Order Modal Logics Marta Cialdea Mayer 1 and Serenella Cerrito 2 1 Universita…
- Cited by 3 (2 self) – Add To MetaCart
-
A Faithful Integration of Description Logics with Logic Programming
- … variant of the first-order modal logic S5 with a preference relation on models that implements…
- Cited by 29 (7 self) – Add To MetaCart
-
Shakespearian Modal Logic: A Labelled Treatment Of Modal Identity
- …-theoretical treatment of first-order (normal) modal logics with identity, with and without Barcan formula and/or its…
- Cited by 14 (12 self) – Add To MetaCart
Showing 1 through 3.
