Measuring the expressive power of dynamic logics: An application of abstract model theory
- 1 January 1980
- book chapter
- Published by Springer Nature
- p. 409-421
- https://doi.org/10.1007/3-540-10003-2_88
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- On the expressive power of Dynamic Logic (Preliminary Report)Published by Association for Computing Machinery (ACM) ,1979
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979
- An introduction to algorithmic logic. Metamathematical investigations in the theory of programsBanach Center Publications, 1977
- δ-Logics and generalized quantifiersAnnals of Mathematical Logic, 1976
- Axioms for abstract model theoryAnnals of Mathematical Logic, 1974
- On Extensions of Elementary LogicTheoria, 1969