scientific article; zbMATH DE number 795175

MaRDI QIDQ4845324zbMATH OpenFDO

Authors Peter E. Caines, Yuanjun Wei

Publication date 22 June 1997

zbMATH Keywords

COCOLOG systemsconditional observer and controller logicfinite state machinefirst order logical theoriesMarkovian fragmentssubtheorytheorem proving

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Basic properties of first-order languages and structures (03C07) First-order arithmetic and fragments (03F30) Formal languages and automata (68Q45) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• On Markovian Fragments of COCOLOG for Logic Control Systems
• Markov Logic
• Modular Markovian Logic
• scientific article; zbMATH DE number 6748005
• Monodic fragments of probabilistic first-order logic
• Stochastic coalgebraic logic
• Continuous Markovian logics -- axiomatization and quantified metatheory
• Publication:3199400
• On the complexity of fragments of modal logics
• Strong completeness for Markovian logics

Cited in

(4)

• Automated reasoning with function evaluation for COCOLOG
• On Markovian Fragments of COCOLOG for Logic Control Systems
• scientific article; zbMATH DE number 744040 (Why is no real title available?)
• COCOLOG: A Conditional Observer and Controller Logic for Finite Machines

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