Probabilistic logics based on Riesz spaces
From MaRDI portal
Modal logic (including the logic of norms) (03B45) Probability and inductive logic (03B48) Logic in computer science (03B70) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cites work
- A logic for reasoning about time and reliability
- A probabilistic PDL
- A Proof System for the Linear Time μ-Calculus
- 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
- 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?)
- Introduction to coalgebra. Towards mathematics of states and observation
- Labelled Markov processes.
- Modal logic
- Modal logic. An introduction to its syntax and semantics
- MV-algebras with internal states and probabilistic fuzzy logics
- 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)- An approach to stochastic processes via non-classical logic
- On measure quantifiers in first-order arithmetic
- Free modal Riesz spaces are Archimedean: a syntactic proof
- MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
- Proof theory of Riesz spaces and modal Riesz spaces
- Riesz modal logic for Markov processes
- Riesz modal logic with threshold operators
- Probabilistic logics based on Riesz spaces
- Probability Logic for Harsanyi Type Spaces
- On counting propositional logic and Wagner's hierarchy
- Sound approximate and asymptotic probabilistic bisimulations for PCTL
- Linear abelian modal logic
- Towards logical foundations for probabilistic computation
- Curry and Howard meet Borel
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)
