MK-fuzzy automata and MSO logics

MaRDI QIDQ3384166zbMATH OpenFDO

Authors Temur Kutsia, Wolfgang Schreiner, Manfred Droste, George Rahonis

Publication date 14 December 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2017.8

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70)

Recommendations

• McCarthy-Kleene fuzzy automata and MSO logics
• Finite automata with membership values in lattices and monadic second-order lattice-valued logic
• On the recognizability of fuzzy languages. I
• Fuzzy tree automata
• Fuzzification of rational and recognizable sets

Cites work

• scientific article; zbMATH DE number 1862743 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A four-valued logic for reasoning about finite and infinite computation errors in programs
• Asynchronous cellular automata for pomsets
• Decision Problems of Finite Automata Design and Related Arithmetics
• Determinization of weighted finite automata over strong bimonoids
• Fuzzy languages
• Fuzzy semirings with applications to automata theory
• Handbook of weighted automata
• Proof systems for reasoning about computation errors
• Transductions des langages de Chomsky
• Weak Second‐Order Arithmetic and Finite Automata
• Weighted automata and weighted logics
• Weighted finite automata over strong bimonoids

Cited in

(3)

• McCarthy-Kleene fuzzy automata and MSO logics
• Reasoning about Quality and Fuzziness of Strategic Behaviors
• scientific article; zbMATH DE number 1341537 (Why is no real title available?)

This page was built for publication: MK-fuzzy automata and MSO logics

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