Independence: Logics and Concurrency

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

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume1862

Fingerprint

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

Cite this