Other formats:
BibTeX
LaTeX
RIS
@article{1401897,
author = {Chajda, Ivan and Paseka, Jan},
article_location = {NEW YORK},
article_number = {12},
doi = {http://dx.doi.org/10.1007/s10773-017-3311-0},
keywords = {Dynamic logic; Automaton; State-transition relation; Transition functor; Modal functor},
language = {eng},
issn = {0020-7748},
journal = {International Journal of Theoretical Physics},
title = {Dynamic Logic Assigned to Automata},
url = {https://link.springer.com/article/10.1007/s10773-017-3311-0},
volume = {56},
year = {2017}
}
TY - JOUR
ID - 1401897
AU - Chajda, Ivan - Paseka, Jan
PY - 2017
TI - Dynamic Logic Assigned to Automata
JF - International Journal of Theoretical Physics
VL - 56
IS - 12
SP - 3794-3806
EP - 3794-3806
PB - SPRINGER/PLENUM PUBLISHERS
SN - 00207748
KW - Dynamic logic
KW - Automaton
KW - State-transition relation
KW - Transition functor
KW - Modal functor
UR - https://link.springer.com/article/10.1007/s10773-017-3311-0
L2 - https://link.springer.com/article/10.1007/s10773-017-3311-0
N2 - 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.
ER -
CHAJDA, Ivan and Jan PASEKA. Dynamic Logic Assigned to Automata. \textit{International Journal of Theoretical Physics}. NEW YORK: SPRINGER/PLENUM PUBLISHERS, 2017, vol.~56, No~12, p.~3794-3806. ISSN~0020-7748. Available from: https://dx.doi.org/10.1007/s10773-017-3311-0.
|
