Abstract
We consider Hintikka et al.’s ‘independence-friendly first-order logic’. We apply it to a modal logic setting, defining a notion of ‘independent’ modal logic, and we examine the associated fixpoint logics.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
R. Alur, T. Henzinger and O. Kupferman, Alternating-time temporal logic, in Proc. 38th FOCS (1997), 100–109.
H.R. Andersen, Verification of Temporal Properties of Concurrent Systems, DAIMI PB-445, Computer Science Dept, Aarhus University, 1993.
J. Barwise, On branching quantifiers in English, J. Philos. Logic 8 47–80 (1979).
A. Blass and Y. Gurevich. Henkin quanti.ers and complete problems. Ann. Pure Appl. Logic 32:1, 1–16 (1986).
J.C. Bradfield, The modal mu-calculus alternation hierarchy is strict, Theor. Comput. Sci. 195 133–153 (1997).
J.C. Bradfield, Fixpoint alternation and the game quantifier, Proc. CSL’ 99, LNCS 1683 350–361 (1999).
J.C. Bradfield, Fixpoint alternation: arithmetic, transition systems, and the binary tree, Theoret. Informatics Appl. 33 341–356 (1999).
D. Cenzer, Monotone inductive definitions over the continuum, J. Symbolic Logic 41:1 188–198 (1976).
H.B. Enderton, Finite partially ordered quantifiers, Z. für Math. Logik u. Grundl. Math. 16 393–397 (1970).
G. Gottlob, Relativized logspace and generalized quantifiers over finite ordered structures. J. Symbolic Logic 62:2, 545–574 (1997).
L. Henkin, Some remarks on infinitely long formulas, Infinitistic Methods, Pergamon Press, Oxford and PAN, Warsaw, 167–183 (1961).
J. Hintikka and G. Sandu, A revolution in logic?, Nordic J. Philos. Logic 1(2) 169–183 (1996).
W. Hodges, Compositional semantics for a language of imperfect information, Int. J. IGPL 5(4), 539–563.
M. Huhn, P. Niebert and F. Wallner, Verification on local states, Proc. TACAS’ 98, LNCS 1384 36–51.
R. S. Lubarsky, μ-definable sets of integers, J. Symbolic Logic 58 (1993) 291–313.
K. L. McMillan, Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits, Proc. CAV’92, 161–171 (1992).
M. Nielsen and C. Clausen, Bisimulations, games and logic. BRICS report RS-94-6. BRICS, Aarhus (1994).
W. Penczek, On undecidability of propositional temporal logics on trace systems, Inf. Proc. Let. 43(3) 147–153 (1992).
W. Penczek and R. Kuiper, Traces and Logic, in: Diekert and Rozenberg, ed. The Book of Traces, World Scientific (1995).
G. Sandu, On the logic of information independence and its applications, J. Philos. Logic 22 361–372 (1993).
C.P. Stirling and D.J. Walker, A general tableau technique for verifying temporal properties of concurrent programs. Proc. Int. BCS-FACS Workshop on Semantics for Concurrency Workshops in Computing (Springer-Verlag, Berlin, 1990) (1–15).
A. Valmari, A stubborn attack on state explosion. Proc. CAV’ 90, DIMACS vol. 3, 25–42 (1991).
W.J. Walkoe, Jr, Finite partially-ordered quantification. J. Symbolic Logic 35 535–555 (1970).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bradfield, J.C. (2000). Independence: Logics and Concurrency. In: Clote, P.G., Schwichtenberg, H. (eds) Computer Science Logic. CSL 2000. Lecture Notes in Computer Science, vol 1862. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44622-2_16
Download citation
DOI: https://doi.org/10.1007/3-540-44622-2_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67895-3
Online ISBN: 978-3-540-44622-4
eBook Packages: Springer Book Archive