@inproceedings{0d7b455746e84a8182f5bd8224b88003,
title = "MK-fuzzy Automata and MSO Logics",
abstract = "We introduce MK-fuzzy automata over a bimonoid K which is related to the fuzzification of the McCarthy-Kleene logic. Our automata are inspired by, and intend to contribute to, practical applications being in development in a project on runtime network monitoring based on predicate logic. We investigate closure properties of the class of recognizable MK-fuzzy languages accepted by MK-fuzzy automata as well as of deterministically recognizable MK-fuzzy languages accepted by their deterministic counterparts. Moreover, we establish a Nivat-like result for recognizable MK-fuzzy languages. We introduce an MK-fuzzy MSO logic and show the expressive equivalence of a fragment of this logic with MK-fuzzy automata, i.e., a B¨uchi type theorem.",
author = "Manfred Droste and Teimuraz Kutsia and George Rahonis and Wolfgang Schreiner",
year = "2017",
month = sep,
day = "6",
doi = "10.4204/EPTCS.256.8",
language = "English",
volume = "256",
series = "Electronic Proceedings in Theoretical Computer Science (EPTCS)",
pages = "106--120",
editor = "\{P. Bouyer, A. Orlandini, P. San Pietro\}",
booktitle = "8th Symposium on Games, Automata, Logics and Formal Verification (GandALF'17)",
}