Solving Łukasiewicz \(\mu\)-terms

DOI10.1016/j.tcs.2017.11.002zbMath1387.68165OpenAlexW2767521804MaRDI QIDQ683713

Juan-Miguel Gracia

Publication date: 9 February 2018

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/59038471/LukasiewiczTerms.pdf

zbMATH Keywords

fixed pointsalgorithm for evaluating \(\mu\)-termsprobabilistic \(\mu\)-calculus

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Many-valued logic (03B50)

Cites Work

• Unnamed Item
• Model checking in the modal \(\mu \)-calculus and generic solutions
• Results on the propositional \(\mu\)-calculus
• A Decision Procedure for the First Order Theory of Real Addition with Order
• Łukasiewicz μ-calculus
• An effective decision procedure for linear arithmetic over the integers and reals
• Sylvester's Identity and Multistep Integer-Preserving Gaussian Elimination
• Rudiments of \(\mu\)-calculus

This page was built for publication: Solving Łukasiewicz \(\mu\)-terms