Skip to main content
SpringerLink
Log in
Book cover

International Colloquium on Automata, Languages, and Programming

ICALP 1980: Automata, Languages and Programming pp 409–421Cite as

Measuring the expressive power of dynamic logics: An application of abstract model theory

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 85))

Abstract

We compare two notions to measure the expressive power of various dynamic logics: Reducibility and AP-reducibility. With those and the techniques from model theory for infinitary and other generalized logics we solve some open problems in definability theory of dynamic logic.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barwise, K.J., Axioms for abstract model theory, Annals of mathematical logic, vol. 7 (1974) pp 221–265

    Google Scholar 

  2. Harel, D. First-order Dynamic logic, Lecture Notes in Computer Science, vol. 68, Heidelberg 1979

    Google Scholar 

  3. Keisler, H.J., Model Theory for Infinitary Logic, Studies in Logic vol 62, Amsterdam 1971

    Google Scholar 

  4. Makowsky, J.A., Shelah, S. and Stavi, J., Δ-Logics and generalized quantifiers, Annals of mathematical logic, vol 10 (1976) pp 155–192

    Google Scholar 

  5. Meyer,A. and Parikh,R., Definability in dynamic logic, MIT/LCS/TM-156, 1986

    Google Scholar 

  6. Banachowski,L. et al., An Introduction to algorithmic logic; Meta-mathematical investigation in the theory of programs, In Mathematical Foundations of Computer Science, Mazurkiewicz et al.ed. Banach Center Publications, vol. 2, Warsaw 1977

    Google Scholar 

  7. A.Meyer and K.Winklmann, On the expressive power of dynamic logic, MIT/LCS/TM-157, Feb. 1980

    Google Scholar 

  8. P. Lindström, On extensions of elementary logic, Theoria, vol.35 (1969), pp 1–11.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. 2. Mathematisches Institut der Freien Universität Berlin, Königin-Luise-Str. 24–26, 1 Berlin 33, West Berlin

    J. A. Makowsky

Authors
  1. J. A. Makowsky
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jaco de Bakker Jan van Leeuwen

Rights and permissions

Reprints and permissions

Copyright information

© 1980 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Makowsky, J.A. (1980). Measuring the expressive power of dynamic logics: An application of abstract model theory. In: de Bakker, J., van Leeuwen, J. (eds) Automata, Languages and Programming. ICALP 1980. Lecture Notes in Computer Science, vol 85. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10003-2_88

Download citation

  • DOI: https://doi.org/10.1007/3-540-10003-2_88

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10003-4

  • Online ISBN: 978-3-540-39346-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation