PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT
From MaRDI portal
Recommendations
- Probabilistic models for the guarded command language
- Probabilistic Guarded P Systems, A New Formal Modelling Framework
- Probabilistic guarded commands mechanized in HOL
- Probabilistic guarded commands mechanized in HOL
- A specification logic for programs in the probabilistic guarded command language
- Probabilistic confinement in a declarative framework
- Interpolation and definability in guarded fragments
- Deciding the guarded fragments by resolution
- scientific article; zbMATH DE number 1303345
- A guarded fragment for abstract state machines
Cites work
- An analysis of first-order logics of probability
- Best Possible Inequalities for the Probability of a Logical Function of Events
- Bisimulation through probabilistic testing
- Decidability and expressiveness for first-order logics of probability
- Finite Model Theory
- Modal and guarded characterisation theorems over finite transition systems
- Modal languages and bounded fragments of predicate logic
- Probabilistic logic
- Some first-order probability logics
- The instance problem and the most specific concept in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics
Cited in
(3)
This page was built for publication: PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5291329)
