scientific article; zbMATH DE number 7204557
DOI10.4230/LIPICS.ICALP.2017.105zbMATH Open1442.68137MaRDI QIDQ5111437FDOQ5111437
Nathanaël Fijalkow, Bartek Klin, Prakash Panangaden
Publication date: 27 May 2020
Title of this publication is not available (Why is that?)
Recommendations
- Expressiveness of probabilistic modal logics: a gradual approach
- Probability logic: A model-theoretic perspective
- Probabilistic models for intuitionistic predicate logic
- scientific article; zbMATH DE number 1123884
- Probabilities on sentences in an expressive logic
- Publication:3028979
- Decidability and expressiveness for first-order logics of probability
- Probability semantics for quantifier logic
- Modal logics with several operators and probability interpretations
- scientific article
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Probability and inductive logic (03B48) Modal logic (including the logic of norms) (03B45) Descriptive set theory (03E15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (13)
- Title not available (Why is that?)
- Constructive logical characterizations of bisimilarity for reactive probabilistic systems
- Probabilities on sentences in an expressive logic
- Title not available (Why is that?)
- Probabilistic Modal μ-Calculus with Independent Product
- Towards a classification of behavioural equivalences in continuous-time Markov processes
- Some considerations on the logics PFD A logic combining modality and probability
- Title not available (Why is that?)
- Expressiveness of probabilistic modal logics: a gradual approach
- Title not available (Why is that?)
- Bisimilarity is not Borel
- Proving behavioural apartness
- (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111437)
