scientific article; zbMATH DE number 5366670

MaRDI QIDQ3536079zbMATH OpenFDO

Authors Manfred Droste, W. Kuich, George Rahonis

Publication date 17 November 2008

zbMATH Keywords

decidabilityformal languagesmulti-valued logicmulti-valued automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Many-valued logic (03B50) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Recommendations

• Multi-valued semantics for logic programs
• Multiple-Valued Logic Trees: Meaning and Prime Implicants
• scientific article; zbMATH DE number 1269582
• scientific article; zbMATH DE number 1076964
• Characterizing weighted MSO for trees by branching transitive closure logics
• scientific article; zbMATH DE number 1943845
• Many-valued computational logics
• Multi-valued stable semantics for logic programs

Cited in

(14)

• Fuzzy Propositional Configuration Logics
• Model checking of linear-time properties in multi-valued systems
• Weighted Linear Dynamic Logic
• Weighted automata and weighted logics
• Weighted linear dynamic logic
• Temporal specifications with accumulative values
• A Weighted μ-Calculus on Words
• Measuring and synthesizing systems in probabilistic environments
• Modelling Uncertainty in Architectures of Parametric Component-Based Systems
• Automata-based axiom pinpointing
• Reasoning about Quality and Fuzziness of Strategic Behaviors
• Weighted automata and multi-valued logics over arbitrary bounded lattices
• Weighted propositional configuration logic over De Morgan algebras
• The complexity of computing the behaviour of lattice automata on infinite trees

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