On logical and concurrent equivalences

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

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

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.
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
Pages247-261
Number of pages15
Volume1862
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
Volume1862
ISSN (Print)0302-9743

Cite this