Independence: Logics and Concurrency
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 247-261
- https://doi.org/10.1007/3-540-44622-2_16
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Alternating-time temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Fixpoint alternation: arithmetic, transition systems, and the binary treeRAIRO - Theoretical Informatics and Applications, 1999
- Fixpoint Alternation and the Game QuantifierPublished by Springer Nature ,1999
- The modal mu-calculus alternation hierarchy is strictTheoretical Computer Science, 1998
- Relativized logspace and generalized quantifiers over finite ordered structuresThe Journal of Symbolic Logic, 1997
- μ-definable sets of integersThe Journal of Symbolic Logic, 1993
- Henkin quantifiers and complete problemsAnnals of Pure and Applied Logic, 1986
- On branching quantifiers in EnglishJournal of Philosophical Logic, 1979
- Monotone inductive definitions over the continuumThe Journal of Symbolic Logic, 1976
- Finite Partially‐Ordered QuantifiersMathematical Logic Quarterly, 1970