scientific article; zbMATH DE number 3976998

MaRDI QIDQ3743306zbMATH OpenFDO

Authors R. Knast

Publication date 1985

zbMATH Keywords

fragment of nonlocal process logicprogram-free nonlocal process logic with concatenationpropositional calculi of term satisfiabilitypropositional process logics

Mathematics Subject Classification ID

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

Recommendations

• Deterministic process logic is elementary
• scientific article; zbMATH DE number 3909727
• Equations between Regular Terms and an Application to Process Logic
• scientific article; zbMATH DE number 3853035
• Decidability and undecidability results for propositional schemata

Cited in

(7)

• Robert Knast (1940-1994)
• scientific article; zbMATH DE number 3853035 (Why is no real title available?)
• scientific article; zbMATH DE number 3872670 (Why is no real title available?)
• scientific article; zbMATH DE number 3909727 (Why is no real title available?)
• Equations between Regular Terms and an Application to Process Logic
• Process-Algebraic Interpretations of Positive Linear and Relevant Logics
• Towards logical operations research -- propositional case

This page was built for publication:

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