scientific article; zbMATH DE number 795175

zbMATH Open0878.93035MaRDI QIDQ4845324FDOQ4845324

Authors: Peter E. Caines, Yuanjun Wei 

Publication date: 22 June 1997

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

theorem provingfinite state machineconditional observer and controller logicsubtheoryCOCOLOG systemsfirst order logical theoriesMarkovian fragments

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) 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)

Cited In (2)

• Title not available (Why is that?)
• 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)