Some extensions to propositional mean-value calculus: expressiveness and decidability

DOI10.1007/3-540-61377-3_52zbMATH Open1540.03037MaRDI QIDQ6560182FDOQ6560182

Authors: Paritosh K. Pandya 

Publication date: 21 June 2024

Recommendations

• scientific article; zbMATH DE number 1302029
• Decidability of mean value calculus
• scientific article; zbMATH DE number 1231602
• Results on the propositional \(\mu\)-calculus
• scientific article; zbMATH DE number 3845549

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Logic in computer science (03B70)

Cites Work

• Title not available (Why is that?)
• Decidability of Second-Order Theories and Automata on Infinite Trees
• The existence of refinement mappings
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Modal Logic for Chopping Intervals
• Weak Second‐Order Arithmetic and Finite Automata
• A calculus of durations
• The monadic theory of order

This page was built for publication: Some extensions to propositional mean-value calculus: expressiveness and decidability

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