scientific article; zbMATH DE number 7566045
From MaRDI portal
Publication:5094116
Publication date: 2 August 2022
Full work available at URL: https://arxiv.org/abs/2004.11185
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Results on the propositional \(\mu\)-calculus
- A probabilistic PDL
- Semantics of probabilistic programs
- Complexity of deciding Tarski algebra
- Untersuchungen über das logische Schliessen. II
- Bounded sequent calculi for non-classical logics via hypersequents
- Towards a structural proof theory of probabilistic \(\mu\)-calculi
- On the variety of Riesz spaces
- Proof theory for fuzzy logics
- Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models
- On the equivalence of game and denotational semantics for the probabilistic mu-calculus
- Probabilistic Modal μ-Calculus with Independent Product
- A constructive analysis of RM
- A Decision Procedure for the First Order Theory of Real Addition with Order
- Łukasiewicz μ-calculus
- Hypersequent Calculi for Godel Logics -- a Survey
- Probabilistic modal {\mu}-calculus with independent product
- A Proof System for Compositional Verification of Probabilistic Concurrent Processes
- Riesz Modal Logic with Threshold Operators
- Stone Duality for Markov Processes
- From Frame Properties to Hypersequent Rules in Modal Logics
- Sequent and hypersequent calculi for abelian and łukasiewicz logics
- Computer Science Logic
- Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus
- Generic Modal Cut Elimination Applied to Conditional Logics
