Independence: Logics and Concurrency

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
EditorsPeterG. Clote, Helmut Schwichtenberg
PublisherSpringer Berlin Heidelberg
Number of pages15
ISBN (Electronic)978-3-540-44622-4
ISBN (Print)978-3-540-67895-3
Publication statusPublished - 2000

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg

Fingerprint Dive into the research topics of 'Independence: Logics and Concurrency'. Together they form a unique fingerprint.

Cite this