On logical and concurrent equivalences

J. C. Bradfield, S. B. Fröschle

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationComputer Science Logic
Subtitle of host publication14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings
PublisherSpringer-Verlag Berlin Heidelberg
Number of pages15
ISBN (Electronic)978-3-540-44622-4
ISBN (Print)978-3-540-67895-3
Publication statusPublished - 22 Jun 2001

Publication series

NameLecture Noted in Computer Science
ISSN (Print)0302-9743

Cite this