Łukasiewicz μ-calculus

DOI10.3233/FI-2017-1472zbMath1380.68281arXiv1510.00797OpenAlexW2185433846MaRDI QIDQ4589613

Matteo Mio, Alex K. Simpson

Publication date: 10 November 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.00797

zbMATH Keywords

model checkingŁukasiewicz logicprobabilistic \(\mu\)-calculusPCTL

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Many-valued logic (03B50) Temporal logic (03B44)

Related Items (12)

Unnamed Item ⋮ Sound approximate and asymptotic probabilistic bisimulations for PCTL ⋮ Unnamed Item ⋮ Free modal Riesz spaces are Archimedean: a syntactic proof ⋮ Coinduction in Flow: The Later Modality in Fibrations ⋮ Solving Łukasiewicz \(\mu\)-terms ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Łukasiewicz μ-calculus