J 2017

Dynamic Logic Assigned to Automata

CHAJDA, Ivan a Jan PASEKA

Základní údaje

Originální název

Dynamic Logic Assigned to Automata

Autoři

CHAJDA, Ivan (203 Česká republika) a Jan PASEKA (203 Česká republika, garant, domácí)

Vydání

International Journal of Theoretical Physics, NEW YORK, SPRINGER/PLENUM PUBLISHERS, 2017, 0020-7748

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10101 Pure mathematics

Stát vydavatele

Spojené státy

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Impakt faktor

Impact factor: 0.968

Kód RIV

RIV/00216224:14310/17:00095335

Organizační jednotka

Přírodovědecká fakulta

DOI

UT WoS

000414787000009

Klíčová slova anglicky

Dynamic logic; Automaton; State-transition relation; Transition functor; Modal functor

Štítky

Změněno: 3. 4. 2018 11:56, Ing. Nicole Zrilić

Anotace

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.

Návaznosti

GF15-34697L, projekt VaV
Název: Nové přístupy k reziduovaným posetům
Investor: Grantová agentura ČR, New approaches to residuated posets, Partnerská agentura (Rakousko)