Q5214813
type: Item
instance of: scholarly article
zbMATH Open document ID: 1442.03010
publication date: 2020-02-05T00:00:00Z
full work available at URL: https://arxiv.org/abs/1903.09463
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B48
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 06F20
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 7163279
MaRDI profile type: Publication
arXiv ID: 1903.09463
cites work: Modal logic
cites work: Q5322945
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Q3531455
cites work: Q3999065
cites work: CONCUR 2003 - Concurrency Theory
cites work: A Proof System for the Linear Time μ-Calculus
cites work: Q3854144
cites work: Q5144621
cites work: From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality
cites work: MV-algebras with internal states and probabilistic fuzzy logics
cites work: Q3946875
cites work: A logic for reasoning about time and reliability
cites work: Introduction to coalgebra. Towards mathematics of states and observation
cites work: Boolean Algebras with Operators. Part I
cites work: Boolean Algebras with Operators
cites work: Topology and descriptive set theory
cites work: Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces
cites work: Stone coalgebras
cites work: Stone Duality for Markov Processes
cites work: Strong Completeness for Markovian Logics
cites work: Semantics of probabilistic programs
cites work: Results on the propositional \(\mu\)-calculus
cites work: A probabilistic PDL
cites work: Every state on semisimple MV-algebra is integral
cites work: Q4533390
cites work: Q4531961
cites work: Towards a structural proof theory of probabilistic \(\mu\)-calculi
cites work: Reasoning with time and chance
cites work: Bisimulation through probabilistic testing
cites work: On the variety of Riesz spaces
cites work: Q5638775
cites work: On the equivalence of game and denotational semantics for the probabilistic \(\mu\)-calculus
cites work: Probabilistic modal {\mu}-calculus with independent product
cites work: Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus
cites work: Riesz Modal Logic with Threshold Operators
cites work: Q5639839
cites work: Results on the quantitative μ-calculus qM μ
cites work: Łukasiewicz μ-calculus
cites work: On closed elements in closure algebras
cites work: Advanced Łukasiewicz calculus and MV-algebras
cites work: Łukasiewicz logic and Riesz spaces.
cites work: Q3619416
cites work: A structural approach to operational semantics
cites work: An axiomatization of full computation tree logic
cites work: Q3874719
cites work: Probabilistic systems coalgebraically: a survey
cites work: On the proof theory of the modal mu-calculus
cites work: Topology and duality in modal logic
cites work: Q4342096
cites work: Q5580575
cites work: Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
description: scientific article; zbMATH DE number 7163279