Detailed Information on Publication Record
2017
Dynamic Logic Assigned to Automata
CHAJDA, Ivan and Jan PASEKABasic information
Original name
Dynamic Logic Assigned to Automata
Authors
CHAJDA, Ivan (203 Czech Republic) and Jan PASEKA (203 Czech Republic, guarantor, belonging to the institution)
Edition
International Journal of Theoretical Physics, NEW YORK, SPRINGER/PLENUM PUBLISHERS, 2017, 0020-7748
Other information
Language
English
Type of outcome
Článek v odborném periodiku
Field of Study
10101 Pure mathematics
Country of publisher
United States of America
Confidentiality degree
není předmětem státního či obchodního tajemství
References:
Impact factor
Impact factor: 0.968
RIV identification code
RIV/00216224:14310/17:00095335
Organization unit
Faculty of Science
UT WoS
000414787000009
Keywords in English
Dynamic logic; Automaton; State-transition relation; Transition functor; Modal functor
Změněno: 3/4/2018 11:56, Ing. Nicole Zrilić
Abstract
V originále
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.
Links
| GF15-34697L, research and development project |
|