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

  • J. A. Makowsky
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 85)


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.


Function Symbol Order Logic Expressive Power Dynamic Logic Validity Problem 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Ba]
    Barwise, K.J., Axioms for abstract model theory, Annals of mathematical logic, vol. 7 (1974) pp 221–265Google Scholar
  2. [Ha]
    Harel, D. First-order Dynamic logic, Lecture Notes in Computer Science, vol. 68, Heidelberg 1979Google Scholar
  3. [Ke]
    Keisler, H.J., Model Theory for Infinitary Logic, Studies in Logic vol 62, Amsterdam 1971Google Scholar
  4. [MSS]
    Makowsky, J.A., Shelah, S. and Stavi, J., Δ-Logics and generalized quantifiers, Annals of mathematical logic, vol 10 (1976) pp 155–192Google Scholar
  5. [MP]
    Meyer,A. and Parikh,R., Definability in dynamic logic, MIT/LCS/TM-156, 1986Google Scholar
  6. [Pol]
    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 1977Google Scholar
  7. [MW]
    A.Meyer and K.Winklmann, On the expressive power of dynamic logic, MIT/LCS/TM-157, Feb. 1980Google Scholar
  8. [Li]
    P. Lindström, On extensions of elementary logic, Theoria, vol.35 (1969), pp 1–11.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • J. A. Makowsky
    • 1
  1. 1.2. Mathematisches Institut der Freien Universität Berlin1 Berlin 33West Berlin

Personalised recommendations