scientific article; zbMATH DE number 3872670

MaRDI QIDQ3339281zbMATH OpenFDO

Authors Helmut Thiele

Publication date 1983

zbMATH Keywords

process logicsequential automata

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3976998
• ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS
• scientific article; zbMATH DE number 1341927
• scientific article; zbMATH DE number 3909727
• The classification of propositional calculi
• An automata theoretic decision procedure for the propositional mu- calculus
• scientific article; zbMATH DE number 4055020
• scientific article; zbMATH DE number 149521
• Automata theory approach to predicate intuitionistic logic

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 Q3339281)