MK-fuzzy automata and MSO logics

zbMATH Open1483.68164MaRDI QIDQ3384166FDOQ3384166

Wolfgang Schreiner, Temur Kutsia, George Rahonis, Manfred Droste

Publication date: 14 December 2021

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Handbook of weighted automata
• Title not available (Why is that?)
• Fuzzy Languages
• Determinization of weighted finite automata over strong bimonoids
• Weak Second‐Order Arithmetic and Finite Automata
• Decision Problems of Finite Automata Design and Related Arithmetics
• Weighted finite automata over strong bimonoids
• Weighted automata and weighted logics
• Transductions des langages de Chomsky
• Fuzzy semirings with applications to automata theory
• Asynchronous cellular automata for pomsets
• Proof systems for reasoning about computation errors
• Title not available (Why is that?)

Cited In (4)

• McCarthy-Kleene fuzzy automata and MSO logics
• Reasoning about Quality and Fuzziness of Strategic Behaviors
• Title not available (Why is that?)
• Multi-weighted automata and MSO logic

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)