Probability and inductive logic (03B48) Modal logic (including the logic of norms) (03B45) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cites work
- scientific article; zbMATH DE number 3654771 (Why is no real title available?)
- scientific article; zbMATH DE number 3678488 (Why is no real title available?)
- scientific article; zbMATH DE number 3764843 (Why is no real title available?)
- scientific article; zbMATH DE number 47995 (Why is no real title available?)
- scientific article; zbMATH DE number 1028833 (Why is no real title available?)
- scientific article; zbMATH DE number 1745905 (Why is no real title available?)
- scientific article; zbMATH DE number 1753205 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- scientific article; zbMATH DE number 3297510 (Why is no real title available?)
- scientific article; zbMATH DE number 3365842 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- A Proof System for the Linear Time μ-Calculus
- A logic for reasoning about time and reliability
- A probabilistic PDL
- A structural approach to operational semantics
- Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces
- Advanced Łukasiewicz calculus and MV-algebras
- An axiomatization of full computation tree logic
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Bisimulation through probabilistic testing
- Boolean Algebras with Operators
- Boolean Algebras with Operators. Part I
- Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
- Constructive completeness for the linear-time -calculus
- Every state on semisimple MV-algebra is integral
- From Kleisli categories to commutative \(C ^{*}\)-algebras: probabilistic gelfand duality
- Introduction to coalgebra. Towards mathematics of states and observation
- Labelled Markov processes.
- MV-algebras with internal states and probabilistic fuzzy logics
- Modal logic
- Modal logic. An introduction to its syntax and semantics
- On closed elements in closure algebras
- On the equivalence of game and denotational semantics for the probabilistic -calculus
- On the proof theory of the modal mu-calculus
- On the variety of Riesz spaces
- Probabilistic logics based on Riesz spaces
- Probabilistic modal \(\mu\)-calculus with independent product
- Probabilistic systems coalgebraically: a survey
- Quantitative verification and control via the mu-calculus.
- Reasoning with time and chance
- Results on the propositional \(\mu\)-calculus
- Results on the quantitative \(\mu\)-calculus \(qM\mu\)
- Riesz modal logic with threshold operators
- Semantics of probabilistic programs
- Stone coalgebras
- Stone duality for Markov processes
- Strong completeness for Markovian logics
- Topology and descriptive set theory
- Topology and duality in modal logic
- Towards a structural proof theory of probabilistic \(\mu\)-calculi
- Upper-expectation bisimilarity and Łukasiewicz -calculus
- Łukasiewicz \(\mu\)-calculus
Cited in
(14)- Linear abelian modal logic
- Sound approximate and asymptotic probabilistic bisimulations for PCTL
- Towards logical foundations for probabilistic computation
- On measure quantifiers in first-order arithmetic
- Proof theory of Riesz spaces and modal Riesz spaces
- Probabilistic logics based on Riesz spaces
- An approach to stochastic processes via non-classical logic
- On counting propositional logic and Wagner's hierarchy
- Riesz modal logic with threshold operators
- Curry and Howard meet Borel
- Riesz modal logic for Markov processes
- Probability Logic for Harsanyi Type Spaces
- MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
- Free modal Riesz spaces are Archimedean: a syntactic proof
This page was built for publication: Probabilistic logics based on Riesz spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5214813)
