Dynamic Logic Assigned to Automata

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Science. Official publication website can be found on muni.cz.
Authors

CHAJDA Ivan PASEKA Jan

Year of publication 2017
Type Article in Periodical
Magazine / Source International Journal of Theoretical Physics
MU Faculty or unit

Faculty of Science

Citation
Web https://link.springer.com/article/10.1007/s10773-017-3311-0
Doi http://dx.doi.org/10.1007/s10773-017-3311-0
Field General mathematics
Keywords Dynamic logic; Automaton; State-transition relation; Transition functor; Modal functor
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.