Skip to main content
SpringerLink
Log in

Dynamic Logic Assigned to Automata

  • Published:
International Journal of Theoretical Physics Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1

Similar content being viewed by others

References

  1. Bisio, A., D’Ariano, G.M., Perinotti, P., Tosini, A.: Free quantum field theory from quantum cellular automata. Found. Phys. 45, 1137–1152 (2015)

    Article  ADS  MATH  MathSciNet  Google Scholar 

  2. Blyth, T.S.: Lattices and Ordered Algebraic Structures. Springer-Verlag London Limited (2005)

  3. Burgess, J.: Basic tense logic. In: Gabbay, D.M., Günther, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 89–139. D. Reidel Publ. Comp. (1984)

  4. Chajda, I., Paseka, J.: Dynamic effect algebras and their representations. Soft Comput 16, 1733–1741 (2012)

    Article  MATH  Google Scholar 

  5. Chajda, I., Paseka, J.: Tense operators and dynamic de morgan algebras. In: Proceedings of the 2013 IEEE 43rd Internat. Symp. Multiple-Valued Logic, pp. 219–224. Springer (2013)

  6. Chajda, I., Paseka, J.: Dynamic order algebras as an axiomatization of modal and tense logics. Int. J. Theor. Phys. 54, 4327–4340 (2015)

    Article  MATH  MathSciNet  Google Scholar 

  7. Chajda, I., Paseka, J.: Algebraic Approach to Tense Operators. Heldermann Verlag, Lemgo (2015)

  8. Chajda, I., Paseka, J.: Transition operators assigned to physical systems. Rep. Math. Phys. 78, 259–280 (2016)

    Article  ADS  MathSciNet  Google Scholar 

  9. Dixon, C., Bolotov, A., Fisher, M.: Alternating automata and temporal logic normal forms. Ann. Pure Appl. Log. 135, 263–285 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  10. Fisher, M.: An Introduction to Practical Formal Methods Using Temporal Logic. Wiley (2011)

  11. González De Mendívil, J.R., Garitagoitia, J.R.: Determinization of fuzzy automata via factorization of fuzzy states. Inf. Sci. 283, 165–179 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  12. Konur, S., Fisher, M., Schewe, S.: Combined model checking for temporal, probabilistic, and real-time logics. Theor. Comput. Sci. 503, 61–88 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  13. Markowsky, G.: The representation of posets and lattices by sets. Algebra Univ. 11, 173–192 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  14. Sistla, A.P., Vardi, M.Y., Wolper, P.: The complementation problem for Büchi automata with applications to temporal logic. Theor. Comput. Sci. 49, 217–237 (1987)

    Article  MATH  Google Scholar 

  15. Vardi, M.Y.: An automata-theoretic approach to linear temporal logic. In: Proceedings of the VIII Banff Higher Order Workshop, Lecture Notes in Computer Science, vol. 1043, pp. 238–266. Springer-Verlag (1996)

  16. Yongming, L: Finite automata theory with membership values in lattices. Inf. Sci. 181, 1003–1017 (2011)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Acknowledgments

We thank the anonymous referees for the careful reading of the paper and the suggestions on improving its presentation.

Author information

Authors and Affiliations

  1. Department of Algebra and Geometry, Faculty of Science, Palacký University Olomouc, 17. listopadu 12, Olomouc, 771 46, Czech Republic

    Ivan Chajda

  2. Department of Mathematics and Statistics, Faculty of Science, Masaryk University, Kotlářská 2, 611 37, Brno, Czech Republic

    Jan Paseka

Authors
  1. Ivan Chajda
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jan Paseka
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jan Paseka.

Additional information

Both authors acknowledge the support by a bilateral project New Perspectives on Residuated Posets financed by Austrian Science Fund (FWF): project I 1923-N25, and the Czech Science Foundation (GAČR): project 15-34697L.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Chajda, I., Paseka, J. Dynamic Logic Assigned to Automata. Int J Theor Phys 56, 3794–3806 (2017). https://doi.org/10.1007/s10773-017-3311-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10773-017-3311-0

Keywords

Search

Navigation