Searching for "Probabilistic Modal Logic." – sorted by Relevance.
41 documents found, showing 1 through 10.
Next 10 →
-
Probabilistic modal logic
- …Probabilistic Modal Logic Afsaneh Shirazi and Eyal Amir Computer Science Department, University…
- Cited by 5 (0 self) – Add To MetaCart
-
Towards a probabilistic modal logic for semantic-based information retrieval
- …Towards a Probabilistic Modal Logic for semantic-based Information Retrieval Jian-Yun Nie…
- Cited by 23 (0 self) – Add To MetaCart
-
Probabilistic Temporal Logics via the Modal Mu-Calculus
- …Probabilistic Temporal Logics via the Modal Mu-Calculus Murali Narasimha Rance Cleaveland Purush…
- Cited by 9 (2 self) – Add To MetaCart
-
CoLoSS: The Coalgebraic Logic Satisfiability Solver (System Description)
- …, and probabilistic modal logic. Logics are easily integrated into CoLoSS by providing a complete axiomatisation…
- Cited by 1 (1 self) – Add To MetaCart
-
A finite model construction for coalgebraic modal logic
- … results include, besides standard Hennessy-Milner logic, graded modal logic and probabilistic modal logic…
- Cited by 11 (8 self) – Add To MetaCart
-
A Finite Model Construction For Coalgebraic Modal Logic
- … results include, besides standard Hennessy-Milner logic, graded modal logic and probabilistic modal logic…
- Add To MetaCart
-
A Modal Probabilistic Viewpoint Over the Unification of Fuzzy Sets
- … the lenses of a novel framework based on probabilistic modal logic. In particular, the approach yields some…
- Add To MetaCart
-
A Modal Probabilistic Viewpoint Over the Unification of Fuzzy Sets
- … framework based on probabilistic modal logic. In particular, the approach yields some new ground…
- Add To MetaCart
-
Generalization of Rough Sets using Modal Logics
- … to graded and probabilistic modal logics, graded and probabilistic rough set models are also discussed…
- Cited by 27 (13 self) – Add To MetaCart
-
PSPACE bounds for rank 1 modal logics
- …, majority logic, and probabilistic modal logic. Our generic algorithm moreover finds tableau proofs…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
