Dynamic Logic Assigned to Automata

Varování

Publikace nespadá pod Ekonomicko-správní 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