J 2017

Dynamic Logic Assigned to Automata

CHAJDA, Ivan and Jan PASEKA

Basic 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

Tags

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
Name: Nové přístupy k reziduovaným posetům
Investor: Czech Science Foundation, Partner Agency (Austria)