Dynamic Logic Assigned to Automata

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.

Autoři	CHAJDA Ivan PASEKA Jan
Rok publikování	2017
Druh	Článek v odborném periodiku
Časopis / Zdroj	International Journal of Theoretical Physics
Fakulta / Pracoviště MU	Přírodovědecká fakulta
Citace
www	https://link.springer.com/article/10.1007/s10773-017-3311-0
Doi	http://dx.doi.org/10.1007/s10773-017-3311-0
Obor	Obecná matematika
Klíčová slova	Dynamic logic; Automaton; State-transition relation; Transition functor; Modal functor
Popis	A dynamic logic B can be assigned to every automaton without regard if is deterministic or nondeterministic. This logic enables us to formulate observations on in the form of composed propositions and, due to a transition functor T, it captures the dynamic behaviour of. There are formulated conditions under which the automaton can be recovered by means of B and T.
Související projekty:	New approaches to residuated posets