Validity of contextual formulas

DOI10.4230/LIPICS.CONCUR.2024.24MaRDI QIDQ6859924zbMATH OpenFDO

Authors Javier Esparza, Rubén Rubio

Publication date 10 February 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

temporal logic\(\mu\)-calculuscontextual rules

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• Decision procedures and expressiveness in the temporal logic of branching time
• Efficient normalization of linear temporal logic
• From Spot 2.0 to Spot 2.10: What’s New?
• Handbook of satisfiability. In 2 parts
• Introduction to model checking
• PySAT: a Python toolkit for prototyping with SAT oracles
• The mu-calculus and Model Checking
• Theory and Applications of Satisfiability Testing

This page was built for publication: Validity of contextual formulas

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