@inproceedings{da9fc2e51bb04a1096132cde282aadb3,
title = "Independence: Logics and Concurrency",
abstract = "We consider Hintikka et al.{\textquoteright}s {\textquoteleft}independence-friendly first-order logic{\textquoteright}. We apply it to a modal logic setting, defining a notion of {\textquoteleft}independent{\textquoteright} modal logic, and we examine the associated fixpoint logics.",
author = "J.C. Bradfield",
year = "2000",
doi = "10.1007/3-540-44622-2_16",
language = "English",
isbn = "978-3-540-67895-3",
volume = "1862",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "247--261",
editor = "PeterG. Clote and Helmut Schwichtenberg",
booktitle = "Computer Science Logic",
address = "United Kingdom",
}