Recursive mean-value calculus

DOI10.1007/978-3-540-49382-2_23MaRDI QIDQ4247272zbMATH OpenFDO

Authors Paritosh K. Pandya, Y. S. Ramakrishna

Publication date 12 January 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-49382-2_23

zbMATH Keywords

expressive powerfixed point operatorsinterval based logic of timenondeterministic Turing machinesrecursive mean-value calculussatisfiabilityspecification of real-time systemstimed behaviours

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Decidability of mean value calculus
• Temporal logic with recursion
• scientific article; zbMATH DE number 1231602
• Łukasiewicz \(\mu\)-calculus

Cited in

(4)

• Decidability of mean value calculus
• Duration calculus: Logical foundations
• Recursive calculation of Hansen coefficients
• Some extensions to propositional mean-value calculus: expressiveness and decidability

This page was built for publication: Recursive mean-value calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4247272)