Dynamic logic assigned to automata

DOI10.1007/S10773-017-3311-0zbMATH Open1478.03071arXiv1809.04456OpenAlexW2591476149MaRDI QIDQ682633FDOQ682633

Authors: Ivan Chajda, Jan Paseka 

Publication date: 5 February 2018

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Abstract: A dynamic logic $mathbfB$ can be assigned to every automaton $mathcalA$ without regard if $mathcalA$ is deterministic or nondeterministic. This logic enables us to formulate observations on $mathcalA$ in the form of composed propositions and, due to a transition functor $T$, it captures the dynamic behaviour of $mathcalA$. There are formulated conditions under which the automaton $mathcalA$ can be recovered by means of $mathbfB$ and $T$.

Full work available at URL: https://arxiv.org/abs/1809.04456

Recommendations

• scientific article; zbMATH DE number 1556014
• A nondeterministic program logic
• ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS
• Dynamic logic with trace semantics
• Dynamic logic of propositional assignments: a well-behaved variant of PDL

zbMATH Keywords

automatondynamic logicmodal functorstate-transition relationtransition functor

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05) Logic in computer science (03B70) Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Cites Work

• Lattices and ordered algebraic structures
• Dynamic effect algebras and their representations
• Title not available (Why is that?)
• Finite automata theory with membership values in lattices
• The complementation problem for Büchi automata with applications to temporal logic
• An introduction to practical formal methods using temporal logic
• Combined model checking for temporal, probabilistic, and real-time logics
• Determinization of fuzzy automata via factorization of fuzzy states
• The representation of posets and lattices by sets
• Dynamic order algebras as an axiomatization of modal and tense logics
• Transition operators assigned to physical systems
• Alternating automata and temporal logic normal forms
• Algebraic approach to tense operators
• Free quantum field theory from quantum cellular automata

Cited In (1)

• Algebraic structures formalizing the logic of effect algebras incorporating time dimension

This page was built for publication: Dynamic logic assigned to automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q682633)