Skip to main content
SpringerLink
Log in
Book cover

International Conference on Algebraic Informatics

CAI 2013: Algebraic Informatics pp 247–259Cite as

Characterizations of Weighted First-Order Logics over Semirings

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8080))

Abstract

We generalize, in the weighted setup over idempotent, zero-divisor free and totally commutative complete semirings, the expressive equivalence of linear temporal logic, first-order logic, star-free expressions and counter-free Büchi automata.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press (2008)

    Google Scholar 

  2. Bollig, B., Gastin, P., Monmege, B., Zeitoun, M.: Pebble weighted automata and transitive closure logics. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol. 6199, pp. 587–598. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  3. Diekert, V., Gastin, P.: First-order definable languages. In: Logic and Automata: History and Perspectives. Texts in Logic and Games, vol. 2, pp. 261–306. Amsterdam University Press (2007)

    Google Scholar 

  4. Droste, M., Meinecke, I.: Weighted automata and weighted MSO logics for average and long-time behaviors. Inform. and Comput. 220-221, 44–59 (2012)

    Article  MathSciNet  Google Scholar 

  5. Droste, M., Vogler, H.: Weighted automata and multi-valued logics over arbitrary bounded lattices. Theoret. Comput. Sci. 418, 14–36 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  6. Eilenberg, S.: Automata, Languages and Machines, vol. A. Academic Press (1974)

    Google Scholar 

  7. Ésik, Z., Kuich, W.: A semiring-semimodule generalization of ω-regular languages I. J. of Automata Languages and Combinatorics 10, 203–242 (2005)

    MATH  Google Scholar 

  8. Ésik, Z., Kuich, W.: On iteration semiring-semimodule pairs. Semigroup Forum 75, 129–159 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  9. Kuich, W.: Semirings and formal power series: Their relevance to formal languages and automata theory. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol. 1, pp. 609–677. Springer (1997)

    Google Scholar 

  10. Kuperberg, D.: Linear temporal logics for regular cost functions. In: Proceedings of STACS 2011. LIPIcs, vol. 9, pp. 627–636. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2011)

    Google Scholar 

  11. Kuperberg, D., Vanden Boom, M.: On the expressive power of cost logics over infinite words. In: Czumaj, A., Mehlhorn, K., Pitts, A., Wattenhofer, R. (eds.) ICALP 2012, Part II. LNCS, vol. 7392, pp. 287–298. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  12. Kupferman, O., Pnueli, A., Vardi, M.Y.: Once for all. J. Comput. Syst. Sci. 78, 981–996 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  13. Mandrali, E., Rahonis, G.: On weighted first-order logics with discounting (submitted)

    Google Scholar 

  14. Thomas, W.: Languages, automata and logic. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol. 3, pp. 389–485. Springer (1997)

    Google Scholar 

  15. Vardi, M.Y.: From philosophical to industrial logics. In: Ramanujam, R., Sarukkai, S. (eds.) ICLA 2009. LNCS (LNAI), vol. 5378, pp. 89–115. Springer, Heidelberg (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Aristotle University of Thessaloniki, 54124, Thessaloniki, Greece

    Eleni Mandrali & George Rahonis

Authors
  1. Eleni Mandrali
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. George Rahonis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. ERISCS Research Group, Parc Scientifique de, Aix-Marseille University, Luminy, 13288, Marseille CEDEX 9, France

    Traian Muntean

  2. Department of Mathematics, Aristotle University of Thessaloniki, University Campus, 54124, Thessaloniki, Greece

    Dimitrios Poulakis

  3. ERISCS Research Group and IML Research Laboratory, Parc Scientifique de, Aix-Marseille University, Luminy, 13288, Marseille, France

    Robert Rolland

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mandrali, E., Rahonis, G. (2013). Characterizations of Weighted First-Order Logics over Semirings. In: Muntean, T., Poulakis, D., Rolland, R. (eds) Algebraic Informatics. CAI 2013. Lecture Notes in Computer Science, vol 8080. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40663-8_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-40663-8_23

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-40662-1

  • Online ISBN: 978-3-642-40663-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation