Searching for "Probabilistic Modal Logic." – sorted by Relevance.
-
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

