On static logics, dynamic logics, and complexity classes
- 31 March 1984
- journal article
- Published by Elsevier in Information and Control
- Vol. 60 (1-3) , 86-102
- https://doi.org/10.1016/s0019-9958(84)80023-6
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Dynamic LogicPublished by Springer Nature ,1984
- Structure and complexity of relational queriesJournal of Computer and System Sciences, 1982
- Definability in dynamic logicJournal of Computer and System Sciences, 1981
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979
- Finiteness is mu-ineffableTheoretical Computer Science, 1976
- The polynomial-time hierarchyTheoretical Computer Science, 1976
- Program Schemes with Pushdown StoresSIAM Journal on Computing, 1972
- A relational model of data for large shared data banksCommunications of the ACM, 1970
- Algorithmic properties of structuresTheory of Computing Systems, 1967
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955