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

DOI10.1007/3-540-61377-3_52MaRDI QIDQ6560182zbMATH OpenFDO

Authors Paritosh K. Pandya

Publication date 21 June 2024

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• A Modal Logic for Chopping Intervals
• A calculus of durations
• Decidability of Second-Order Theories and Automata on Infinite Trees
• The existence of refinement mappings
• The monadic theory of order
• Weak Second‐Order Arithmetic and Finite Automata

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)