Dynamic Logic Assigned to Automata
| Authors | |
|---|---|
| Year of publication | 2017 |
| Type | Article in Periodical |
| Magazine / Source | International Journal of Theoretical Physics |
| MU Faculty or unit | |
| 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: |